Naslov
Matematička logika 1
(Mathematical Logic 1)

Autori
Vuković, Mladen

Vrsta obrazovnog materijala
Ostalo (nedefinirano)

Izdavač
PMF-Matematički odjel

Grad
Zagreb

Godina
2000

Stranica
210

ISBN
953-6076-67-5

Ključne riječi
matematička logika
(mathematical logic)

Sažetak
Skripta je prije svega namijenjena studentima PMF-MO koji slušaju kolegij Matematička logika. Osnovne teme skripte su klasična logika sudova i predikata. U prvom poglavlju pod naslovom "Logika sudova" uz standardno razmatranje sintakse i semantike logike sudova posebno se proučava i sistem prirodne dedukcije. U drugom poglavlju pod naslovom "Logika prvog reda" posebna je pažnja posvećena Henkinovoj konstrukciji modela, te primjerima teorija prvog reda kao što su Peanova aritmetika i Zermelo-Fraenkelova teorija skupova.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika

POVEZANOST RADA