Akademske godine 2026./2027. na prijediplomskim i diplomskim studijima držim nastavu iz kolegija Matematička logika te Modalna logika. Na doktorskom studiju držim nastavu iz izbornog kolegija Odlučivost i složenost modalnih logika (tijekom mjeseca listopada imam namjeru na ovu web-stranicu staviti skriptu za taj poslijediplomski kolegij). 

Matematička logika. Ovo je izborni kolegij na sljedećim studijima:
    preddiplomski studij Matematika (šifra 33084);
    diplomski studij Teorijska matematika (šifra 92907);
    diplomski studij Matematika, smjer: nastavnički (šifra 61558);
    diplomski studij Matematika i informatika, smjer: nastavnički (šifra 45773).
Zatim, to je obavezni kolegij na prvoj godini diplomskog studija Računarstvo i matematika, modul Teorijsko računarstvo.

Ovdje možete preuzeti:

• pravila ocjenjivanja za kolegij Matematička logika za akad. god. 2026./27.
• primjere kolokvija kolegija Matematička logika: prvi, drugi
• primjere kratkih testova kolegija Matematička logika: prvi i drugi
• primjere pisanih ispita kolegija Matematička logika 

Sadržaj kolegija pokriven je sveučilišnim udžbenikom M. Vuković, Matematička logika, Element, Zagreb, 2009.
(U tijeku je izrada nove verzije udžbenika.)

Modalna logika. Ovo je izborni kolegij na diplomskom studiju Računarstvo i matematika. Ovdje možete preuzeti pravila ocjenjivanja te primjere prvih i drugih kolokvija. Ovdje je nastavni materijal koji sadrži sva predavanja ovog kolegija.

Za dogovor o terminu konzultacija možete mi se javiti mailom na adresu:    vukovic "at" ("at=@) math.hr 

Ovdje je popis diplomskih radova za koje sam bio voditelj.

Poslijediplomska nastava