Pregled po CROSBI profilu: Mladen Vuković (CROSBI Profil: 29749, MBZ: 123054)
Pronađeno 68 radova
-
26.Čačić, Vedran; Vuković, MladenA note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)
-
27.Vuković, MladenPrimijenjena logika
Zagreb: PMF-Matematički odsjek, 2011 -
28.Vuković, MladenSloženost algoritama
Zagreb: PMF-Matematički odsjek, 2011 -
29.Čačić, VedranNormalne forme i svojstvo konačnih modela za logiku interpretabilnosti, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
30.Vuković, MladenA note on ultraproducts of Veltman models // Glasnik matematički, 46(66) (2011), 7-10 (međunarodna recenzija, članak, znanstveni)
-
31.Domagoj, Vrgoč; Mladen VukovićBisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)
-
32.Vuković, MladenTeorija skupova
Zagreb: PMF-Matematički odsjek, 2010 -
33.Vuković, Milana; Vuković, MladenU potrazi za skupovima // Poučak : časopis za metodiku i nastavu matematike, 11 (2010), 41; 61-69 (podatak o recenziji nije dostupan, članak, stručni)
-
34.Novak, Andrej; Vuković, MladenStudij matematike u Zagrebu // Matematičko fizički list, 61 (2010), 1; 59-66 (podatak o recenziji nije dostupan, članak, stručni)
-
35.Domagoj, Vrgoč, Mladen, VukovićBisimulations and bismulation quotients of generalized Veltman models // Logic journal of the igpl, 18 (2010), 6; 870-880 (međunarodna recenzija, članak, znanstveni)
-
36.Vuković, MladenO aksiomu izbora, cipelama i čarapama // Poučak, 9 (2009), 39; 54-60 (podatak o recenziji nije dostupan, članak, stručni)
-
37.Vuković, MladenMatematička logika
Zagreb: Element, 2009 -
38.Vuković, MladenIzračunljivost
Zagreb: PMF-Matematički odjel, 2009 -
39.Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, MladenZbirka zadataka iz teorije skupova
Zagreb: PMF-Matematički odjel, 2008 -
40.Vuković, MladenBisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)
-
41.Strmečki, TihanaBisimulacije, 2007., diplomski rad, Prirodoslovno matematički fakultet - Matematički odsjek, Zagreb
-
42.Čačić, VedranNezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma, 2007., magistarski rad, Prirodoslovno-matematički fakultet, Zagreb
-
43.Vuković, MladenMatematička logika 1
Zagreb: PMF-Matematički odjel, 2007 -
44.Perkov, TinSahlqvistove formule, 2006., diplomski rad, Prirodoslovno-matematički fakultet, Zagreb
-
45.Manger, Robert; Nogo, Goranka; Vuković, Mladen; Rosenzweig, Dean; Dalbelo-Bašić, BojanaA New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb // ITI 2006 Proceedings of the 28th International Conference on INFORMATION TECHNOLOGY INTERFACES / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: SRCE, University of Zagreb, 2006. str. 283-288 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
46.Vuković, MladenSome notes on correspondence theory of the system IL // Bulletin of Symbolic Logic, 12 (2006), 2. (međunarodna recenzija, članak, znanstveni)
-
47.Vuković, MladenHennessy-Milner theorem for interpretability logic // Bulletin of the Section of Logic, 34 (2005), 4; 195-202 (podatak o recenziji nije dostupan, članak, znanstveni)
-
48.Vuković, MladenMatematička logika 1, treće dopunjeno i izmijenjeno izdanje / Manger, Robert (ur.).
Zagreb: PMF-Matematički odjel, 2004 -
49.Vuković, MladenGeneralized Veltman Models with a Root // Mathematical communications, 9 (2004), 1; 105-111 (podatak o recenziji nije dostupan, članak, znanstveni)
-
50.Vuković, MladenMatematička indukcija i Goodsteinov teorem // Poučak : časopis za metodiku i nastavu matematike, 4 (2003), 13; 5-13 (podatak o recenziji nije dostupan, članak, stručni)
