hrvatski

Matematička logika 1

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.

matematička logika

nije evidentirano