izvor podataka: crosbi
!
Primijenjena logika (CROSBI ID 744868)
Druge vrste radova | ostalo
• Obrazovni materijal (nedefinirano )
Vuković, Mladen
Primijenjena logika. Zagreb: PMF-Matematički odsjek, 2011. 225..
Podaci o odgovornosti
Vuković, Mladen
hrvatski
Primijenjena logika
Skripta je namijenjena studentima doktorskog studija matematike. Sastoji se od sljedeća četiri poglavlja: 1. Teorija modela, 2. Teorija dokaza, 3. Goedelovi teoremi nepotpunosti, 4. Dodatak: Izračunljivost.
matematička logika; teorija modela; teorija dokaza; izračunljivost
nije evidentirano
engleski
Applied Logic
nije evidentirano
mathematical logic; model theory; proof theory; computability
nije evidentirano
Podaci o izdanju
Zagreb: PMF-Matematički odsjek
225
2011.
nije evidentirano
objavljeno
Povezanost rada
Povezane osobe
Povezani projekti