Mladen Vuković

Obrisani Korisnik — Tue, 05 May 2026 18:59:30 GMT

Autor sam sveučilišnog udžbenika: Matematička logika, Element, Zagreb, 2009.

Autor sam, odnosno koautor, sljedećih nastavnih materijala (objavljeni su samo na web-u):

Teorija skupova, predavanja, PMF-MO, Zagreb, 2015.

Teorija skupova, zbirka zadataka, PMF-MO, Zagreb, 2009. (koautori su F.M.Brueckler, V. Čačić i M.Doko)

Izračunljivost, predavanja i vježbe, PMF-MO, Zagreb, 2009.

Složenost algoritama, predavanja i vježbe, PMF-MO, Zagreb, 2019.

Primijenjena logika, poslijediplomska predavanja, PMF-MO, Zagreb, 2011.

Matematička logika i izračunljivost, predavanja, FER, Zagreb, 2017.; zadaci s glavnim testom za FO

Semantike logika dokazivosti i interpretabilnosti , poslijediplomska predavanja, PMF-MO, Zagreb, 2017.

Algebarska semantika modalne logike, poslijediplomska predavanja, PMF-MO, Zagreb, 2020.

Ovdje je lista mojih objavljenih stručnih radova.

M. Vuković, Indirektni dokazi, MFL 172 (1992), 113-122

M. Vuković, Matematička logika u osnovnoj i srednjoj školi, Zbornik radova 4. susreta nastavnika matematike, Zagreb, 1998.

M.Vuković, Gödelovi teoremi nepotpunosti, MFL 206 (2002), 74-79

M. Vuković, Studij za nastavnika matematike na PMF-MO u Zagrebu, Zbornik radova 6. susreta nastavnika matematike, Zagreb, 2002.

F. M. Brueckler, M. Vuković, Studij za nastavnika matematike u Njemačkoj, Matematika i škola 3 (2002), 181-184

M. Vuković, Neki osnovni pojmovi teorije skupova, Osječka mat. škola 2 (2002), 31-38

M. Vuković, Matematička indukcija i Goodsteinov teorem, Poučak 13 (2003), 5-13

M. Vuković, Obrazovanje nastavnika na PMF-MO u Zagrebu: sadašnje stanje i planovi, Poučak 17 (2004), 5-13

B. Dalbelo-Bašić, R. Manger, G. Nogo, D. Rosenzweig, M. Vuković, A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb, ITI, 2006.

M. Vuković, O aksiomu izbora, cipelema i čarapama, Poučak 39 (2009), 54-60

Milana Vuković, M. Vuković, U potrazi za skupovima, Poučak 41 (2010), 61-67; 48-49

A. Novak, M. Vuković, Studij matematike u Zagrebu, MFL 241 (2010), 59-66

M. Vuković, Ima li logike i skupova u Prijedlogu Okvirnog matematičkog kurikuluma?, Zbornik radova 4. kongresa nastavnika matematike, Zagreb, 2010.

M. Vuković, Sintaksa i semantika u logici. predavanje na stručnom skupu nastavnika logike, Zadar, 2012.

M. Vuković, Matematički jezik: oznake i izrazi , predavanje na županijskim skupovima nastavnika matematike, Krapina, Gola, Zagreb, Popovača, Varaždin, Duga Resa, 2014.

I. Gavran, M. Vuković, Logička analiza hibridnih sustava, Poučak 58 (2014), 4-16

V. Čačić, P. Paradžik, M. Vuković, Logičko programiranje, math.e 26 (2015)

Milana Vuković, M. Vuković, Matematički jezik: oznake i izrazi , Matematika i škola 79 (2015)

L. Rožić, J. Šnajder, M. Vuković, Lambda račun kao osnova funkcijskog programiranja, math.e 29 (2016)

P. Gregorek, M. Vuković, Prebrojivi skupovi, MFL 271 (2018), 152-157

P. Gregorek, M. Vuković, Neprebrojivost skupa transcendetnih brojeva, MFL 272(2018), 222-227

Milana Vuković, Mladen Vuković, Rješavanje logičkih zadataka metodom semantičkih stabala, Matematika i škola 94 (2018),
158-165

P. Jambriško, M. Vuković, Jedan neobičan dokaz, MFL 281(2020), 18-22

P. Gregorek. M. Vuković, Goedelovi teoremi nepotpunosti - 90 godina poslije, math.e 41 (2023)

S. Požgaj, M. Vuković, Sokoban je NP težak, math.e 42 (2023)

B. G. Drmić, M. Vuković, Hindmanov teorem, Acta mathematica Spalatensia, Series didactica, 6, 2003.

M. Hren, M. Vuković, Studiji računarstva na FER-u i PMF-u - sličnosti i razlike, MFL 293 (2023), 14-22

N. Dmitrović, M. Vuković, Projekt PMF-a i zagrebačke XV. gimnazije, MFL 298 (2025), 79-85

PMF - publications

Mladen Vuković