Mladen Vuković

Obrisani Korisnik — Mon, 26 Oct 2026 14:16:28 GMT

Na poslijediplomskom studiju držao sam nastavu iz sljedećih kolegija:

1. Uvod u modalnu logiku, 2001./2002.
2. Primijenjena logika, 2003./2004.
3. Logike dokazivosti i interpretabilnosti, 2005./2006.
4. Teorija modela modalne logike, 2007./2008.
5. Primijenjena logika 2008./2009.
6. Primijenjena logika 2010./2011.
7. Semantike logika dokazivosti i interpretabilnosti, 2016./2017. (zajedno s izv. prof. dr. sc. Tinom Perkovim)
8. Algebarska semantika modalne logike, 2019./2020. (zajedno s izv. prof. dr. sc. Tinom Perkovim)
9. Logika i računarstvo, 2020./2021.
10. Logika i računarstvo, 2023./2024. (zajedno s doc. dr.sc. Vedranom Čačićem)
11. Logika i računarstvo 2024./2025. (zajedno s doc. Markom Horvatom)
12. Logika i računarstvo 2025./2026.

Ovdje su nastavni materijali za kolegij Logika i računarstvo (prije je kolegij imao naziv Primijenjena logika).

Ovdje su nastavni materijali za kolegij Semantike logika dokazivosti i interpretabilnosti.

Ovdje su nastavni materijali za kolegij Algebarska semantika modalne logike.

Bio sam jedan od mentora magistarskog rada dr. sc. Matka Botinčana pod naslovom Deskriptivna teorija složenosti: Verifikacija modela kojeg je obranio 2005. godine. Bio sam mentor magistarskog rada doc. dr. sc.Vedrana Čačića pod naslovom Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma kojeg je obranio 2007. godine. Zatim, bio sam mentor doktorske disertacije doc. dr. sc. Vedrana Čačića pod naslovom Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti koju je obranio 2011. godine. Dr. sc. Tin Perkov obranio je 2012. godine doktorsku disertaciju pod naslovom Modalna definabilnost i teoremi očuvanja u modalnoj logici, koju je izradio pod mojim mentorstvom. Dr.sc. Luka Mikec obranio je 2021. godine doktorsku disertaciju pod naslovom On Logics and Semantics for Interpretability. To je bio tzv. dvojni doktorat za koji je jedan mentor bio dr.sc. Joost J. Joosten sa Sveučilišta u Barceloni, a drugi mentor sam bio ja. Dr. sc. Sebastijan Horvat obranio je 2024. godine doktorsku disertaciju pod naslovom Bismulacije i bismulacijske igre za Verbruggeinu semantiku. Mentori te disertacije bili smo izv. prof. dr. sc. Tin Perkov i ja.

Uz prof.dr.sc. Zvonimira Šikića, doc.dr.sc. Vedrana Čačića, doc.dr.sc. Marka Horvata, izv.prof.dr.sc. Mateja Mihelčića i izv.prof.dr.sc. Tina Perkova voditelj sam poslijediplomskog Seminara za matematičku logiku i računarstvo.

Tekst o 50. godišnjici Seminara, koji je 2014. godine objavljen u Prilozima Glasniku matematičkom, je ovdje.
Tekst povodom 60. godina Seminara je ovdje.

Biografije svih bivših voditelja Seminara:
akademik Vladimir Devide
prof. dr. sc. Vladimir G. Kirin
prof. dr. sc. Luka Krnić
prof. dr. sc. Mirko Mihaljinec
prof. dr. sc. Dean Rosenzweig

PMF - poslijediplomski

Mladen Vuković