Matematička logika

ML(PD)

Preddiplomski (bolonjski) jednosemestralni izborni kolegij (zimski semestar)

izborni predmet 1 za smjer PD-M, 3. godina

ML(1S)

Dodiplomski ("stari program") jednosemestralni kolegij (zimski semestar)

izborni za smjerove PM, PMI i PMF, 4. godina

izborni za smjerove DIM-MSR, DIM-FPM i DIM-PM, 3. ili 4. godina

ML(2S)

Dodiplomski ("stari program") dvosemestralni kolegij

obavezan za smjer DIM-TM, 3. godina

obavezan za smjer DIM-R, 4. godina

izborni za smjer DIM-MSR, 3. ili 4. godina

Program

1. Logika sudova: zimski semestar, sva 3 kolegija
2. Logika prvog reda: do iskaza generaliziranog teorema potpunosti u zimskom semestru, nastavak u ljetnom
   
3. Izračunljivost: ljetni semestar, samo ML(2S)

Literatura

• Matematička logika, skripta, doc.dr.sc. Mladen Vuković (Zagreb, svibanj 2007.)
• samo za ML(2S): Izračunljivost, skripta, doc.dr.sc. Mladen Vuković (Zagreb, svibanj 2007.)