Rezultati pretrage
Prijeđi na navigaciju
Prijeđi na pretraživanje
- ...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.
- ...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.
- 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.
- ...]], [[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.
- 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.
- 2. Matematička indukcija [[Kategorija:logika]] ...3 KB (472 riječi) - 20:25, 18. prosinca 2021.
- ...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.
- .../ref> Primjeri takvih funkcija, odnosno operacija, uključuju [[Matematička logika|logičku negaciju]] (jer je <math>\neg (\neg P) = P</math>), tako i negaciju ...6 KB (1 riječ) - 11:29, 20. studenoga 2024.
- 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.
- U [[matematika|matematici]], [[logika|logici]] i [[računarstvo|računarstvu]], '''formalni jezik''' (još i '''umje ...ath>, dok se elementi skupa <math>\boldsymbol{F}</math> zovu ''rečenice''. Matematička teorija koja se općenito bavi proučavanjem formalnih jezika se zove ''teori ...7 KB (1 riječ) - 21:13, 1. siječnja 2022.
- ...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.
- ...ava aksiomatski definirane apstraktne strukture koristeći se [[Matematička logika|matematičkom logikom]]. Matematika se rabi gdje se god pojavljuju pitanja v ...rojevi]], a detaljno izučavanje njihovih svojstava i funkcija je predmet [[matematička analiza|matematičke analize]]. ...20 KB (2738 riječi) - 16:45, 27. srpnja 2024.
- ...e može dokazati. Stoga, hipoteza kontinuuma je ''[[neovisnost (matematička logika)|neovisna]]'' od Zermelo-Fraenkel teorije skupova s aksiomom izbora. Oba ov ...10 KB (1520 riječi) - 11:04, 19. studenoga 2023.
- ...njima su bili i radovi s područja [[zemljopis]]a (osobito kartografije), [[Logika|logike]] (osmislio je grafički prikaz odnosa pojmova, subjekta i predikata [[Matematička analiza]] dugo je bila središnja točka njegova rada i interesa, a svoje naj ...15 KB (2128 riječi) - 20:36, 4. listopada 2024.
- ...u vezu s njegovim poznavanjem alkemije. Kombinirajući [[pokus]]e i duboka matematička promišljanja, Newton je preobrazio filozofiju mehanike dodajući joj novu i ...[[teolog]] i pisac mnogih teoloških rasprava u kojima je iskušavao svoju [[logika|logiku]], na pitanjima bez ikakvog značaja za znanost, pa i samu teologiju ...26 KB (3993 riječi) - 11:08, 16. ožujka 2025.
- ...z]]u objavljuje ''Meditacije'', primjer briljantne primjene svoje čvrste [[logika|logike]]. U Descartesov život ući će 1643. jedna mlada žena, princeza Eliza ...žbe i čunjosječnice. To su bili bitni elementi iz kojih se razvila posebna matematička disciplina – [[analitička geometrija]]. ...40 KB (6602 riječi) - 21:12, 29. siječnja 2025.
- ...cije, bio je nov pristup. U znanost su unijeli preokret uvođenjem strogo [[logika|logičkih]] postupaka i misaonih pokusa. Uspostavili su [[teorija|teoriju]] ...snovao [[kinematika|kinematiku]], i praktičar, koji je široko primjenjivao matematička znanja i znanja [[fizika|fizike]], a u astronomska istraživanja je uveo [[t ...85 KB (12 996 riječi) - 17:36, 30. travnja 2024.