Rezultati pretrage

Pronađene stranice prema naslovu

• Kombinatorna logika
  ...ell Curry]] kako bi eliminirali potrebu za [[varijabla]]ma u [[matematička logika|matematičkoj logici]]. U zadnje se vrijeme koristi u računarstvu kao teoret == Kombinatorna logika u matematici == ...
  31 KB (4586 riječi) - 13:14, 9. lipnja 2023.

Pronađene stranice prema tekstu članka

• Literal
  ...njezina negacija nazivaju se literalom.<ref>Mladen Vuković, ''Matematička logika 1: skripta'', PMF-Matematički odjel, Zagreb, 2007., četvrto izdanje, str. 2 [[Kategorija:Matematička logika]] ...
  930 bajtova (114 riječi) - 12:57, 10. ožujka 2025.
• Atomska formula
  U [[matematička logika|matematičkoj logici]], '''atomska formula''' (ili, jednostavnije, ''atom'') ...cijskoj logici) atomske formule su propozicijske varijable. U [[predikatna logika|predikatnoj logici]], atomi su simboli predikata i njihovi argumenti, gdje ...
  2 KB (365 riječi) - 23:19, 2. siječnja 2022.
• Logički operatori u matematici
  |align=right|[[propozicijska logika]], [[Heyting algebra]] |align=right|[[propozicijska logika]] ...
  10 KB (1400 riječi) - 13:02, 20. siječnja 2025.
• Modus ponens
  [[Kategorija:Logika]] ...
  587 bajtova (82 riječi) - 11:20, 29. ožujka 2021.
• Potpunost
  ...ili <math>S</math> ili<math>\neg S</math> za svaku [[rečenica (matematička logika)|rečenicu]] <math>S</math> u [[jezik]]u. Sustav je ''konzistentan'' ako nik ...
  2 KB (298 riječi) - 23:03, 30. prosinca 2017.
• Akko
  U [[matematika|matematici]], [[filozofija|filozofiji]] i [[logika|logici]], i na povezanim tehničkim poljima, '''akko''' je najstandardnija s [[Kategorija:Logika]] ...
  2 KB (326 riječi) - 05:06, 3. siječnja 2022.
• Tipizirani lambda račun
  ...nje|imperativne programske jezike]]. Usko su povezani s [[intuicionistička logika|intuicionističkom logikom]] preko [[Curry-Howard izomorfizam|Curry-Howard i ...gičke perspektive može opisati sve funkcije koje su dokažljivo totalne u [[logika drugog reda|logici drugog reda]]. Lambda računi s [[ovisni tip|ovisnim tipo ...
  4 KB (633 riječi) - 00:02, 23. ožujka 2024.
• Sustav F
  ...[Curry-Howard izomorfizam|Curry-Howard izomorfizmom]], sustav F odgovara [[logika drugog reda|logici drugog reda]]. ...
  1 KB (1 riječ) - 03:58, 22. prosinca 2021.
• Osnovna algebra
  ...vljanjem istih već poznatih pravila na tvrdi temelj u današnoj formalnoj [[logika|logici]]. ...
  2 KB (354 riječi) - 02:11, 1. studenoga 2024.
• Silogizam
  !Predikatna logika * Kovač, Srećko, ''Logika za gimnazije'', Hrvatska sveučilišna naklada, Zagreb, 2009. ...
  3 KB (445 riječi) - 01:06, 30. prosinca 2018.
• Aksiom dobre utemeljenosti
  i [[logika prvog reda|logikom prvog reda]]: ...
  2 KB (248 riječi) - 18:05, 21. ožujka 2024.
• Semi-Thue sustav
  ...strukte u [[logika|logiku]], te stvorio sustave kao što je [[propozicijska logika]], koji bi omogućili izražavanje općenitih matematičkih teorema u [[formaln ...
  3 KB (540 riječi) - 05:32, 21. prosinca 2021.
• Logički sklopovi
  ...]], [[kemija|kemijska]] itd. Logički sklopovi imaju osnovu u [[Matematička logika|matematičkoj logici]], a tvore se oko osnovnih logičkih operacija: I ([[en ...
  5 KB (602 riječi) - 14:05, 3. srpnja 2021.
• Rekurzivni jezik
  U [[matematika|matematici]], [[logika|logici]] i [[računarstvo|računarstvu]], '''rekurzivni jezik''' je tip [[for ...
  3 KB (363 riječi) - 15:33, 2. veljače 2020.
• Kleeneov operator
  U [[matematička logika|matematičkoj logici]] i [[računarstvo|računarstvu]], '''Kleeneov operator'' ...
  3 KB (436 riječi) - 00:42, 1. siječnja 2022.
• Prefiksna notacija
  ...fiksna notacija''' ili '''prefiksni sustav oznaka''' je oblik notacije u [[logika|logici]], [[aritmetika|aritmetici]] i [[algebra|algebri]]. Njena istaknuta |[[Modalna logika|Mogućnost]]||♢φ||Mφ ...
  8 KB (1067 riječi) - 01:18, 19. prosinca 2021.
• Matematički dokaz
  [[Kategorija:logika]] ...
  3 KB (472 riječi) - 20:25, 18. prosinca 2021.
• Fermatov zadatak
  ...matematika)|limes]]a te se u tom računu, unatoč lukavom triku, može naći [[Logika|logička]] greška koja je ispravljena pojavom modernog infinitezimalnog raču ...
  3 KB (532 riječi) - 11:38, 20. travnja 2024.
• Rekurzivno prebrojiv jezik
  U [[matematika|matematici]], [[logika|logici]] i [[računarstvo|računarstvu]], '''rekurzivno prebrojiv jezik''' je ...
  3 KB (469 riječi) - 23:54, 20. prosinca 2021.
• Teorija računanja
  Teorija je izračunljivosti usko vezana s granom [[matematička logika|matematičke logike]] zvanom [[teorija rekurzije]], koja otklanja ograničenj ;[[kombinatorna logika]] ...
  11 KB (1622 riječi) - 09:14, 29. prosinca 2021.