Pregled bibliografske jedinice broj: 553853
Primijenjena logika
Primijenjena logika
Zagreb: PMF-Matematički odsjek, 2011
CROSBI ID: 553853 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Primijenjena logika
(Applied Logic)
Autori
Vuković, Mladen
Vrsta obrazovnog materijala
Ostalo (nedefinirano)
Izdavač
PMF-Matematički odsjek
Grad
Zagreb
Godina
2011
Stranica
225
Ključne riječi
matematička logika; teorija modela; teorija dokaza; izračunljivost
(mathematical logic; model theory; proof theory; computability)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Mladen Vuković
(autor)
