Pregled bibliografske jedinice broj: 405477
Matematička logika 1
Matematička logika 1
Zagreb: PMF-Matematički odjel, 2007
CROSBI ID: 405477 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Matematička logika 1
(Mathematical Logic 1)
Autori
Vuković, Mladen
Vrsta obrazovnog materijala
Ostalo (nedefinirano)
Izdavač
PMF-Matematički odjel
Grad
Zagreb
Godina
2007
Stranica
260
Ključne riječi
logika sudova; logika prvog reda
(propositional logic; first-order logic)
Sažetak
Skripta je namijenjena studentima treće godine preddiplomskog studija matematike. U prvom poglavlju je obrađena klasična logika sudova (semantika, hilbertovski sistem i sistem prirodne dedukcije). U drugom poglavlju razmatra se logika prvog reda (semantika, hilbertovski sistem, teorija modela).
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
