About employee

prof. dr. sc. Mladen Vuković

Title: Full Professor
Location: A308
Public phone number:+385 1 460 5899
E-mail: E-mail
Official web page URL: https://www.pmf.unizg.hr/math/djelatnici/vukovic
Department: Division of Mathematical Logic and Computer Science

Teaching

undergraduate

graduate

Scientific publications (CroRIS)

Mikec, Luka; Perkov, Tin; Vuković, Mladen
2024.
Logic journal of the igpl

Undecidable modal logics

Rak, Luka
2024.

Alzheimer's dementia as an emergency

Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
2023.

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
2023.
Mathematical logic quarterly

Pasković, Nika
2023.

Emergency situations in dementia

Bajan, Antun ; Vranjić, Petar ; Matijašić-Bodalec, Dubravka ; Smokrović, Eva ; Bajan, Nikola ; Mrzljak, Vlatka ; Vuković, Mladen ; Milostić- Srb, Andrea
2023.

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
2022.

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
2022.

An unusual proof

Jambriško, Petra ; Vuković, Mladen
2021.
Matematičko fizički list

Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
2021.

Mikec, Luka ; Vuković, Mladen
2020.
The Journal of symbolic logic

Mikec, Luka ; Joosten, Joost J. ; Vuković, Mladen
2020.

Žulj Marinko ; Tomić Matej ; Vezmar Ana Marija ; Steiner Kristina ; Steiner Srdarević Sabina ; Vuković Mladen ; Vranjić Petar ; Malenica Luka ; Tadžić Amir ; Boban Marko ; Tadžić Refmir ; Kralik Kristina ; Krstačić Antonija ; Jakab Jelena ; Juranić Brankica ; Mikšić Štefica ; Krstačić Goran ; Steiner Robert ; Tepeš Bojan ; Balen Sanja ; Petrović Đorđe ; Včev Ačeksandar
2019.

Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
2019.
Logic journal of the igpl

Steiner, Kristina ; Tomić, Matej ; Vezmar, Ana- Marija ; Vuković, Mladen ; Vranjić, Petar ; Steiner Srdarević, Sabina ; Žulj, Marinko ; Mirat, Jure ; Včev, Aleksandar
2019.

Marinko, Zulj ; Matej, Tomic ; Ana Marija, Vezmar ; Mladen, Vukovic ; Petar, Vranjic ; Kristina, Steiner ; Sabina, Steiner Srdarevic ; Luka, Malenica ; Kristina, Kralik ; Jelena, Jakab ; Arijan, Tadzic ; Stefica, Miksic ; Brankica, Juranic ; Nikola, Volaric ; Antonija, Krstacic ; Marko, Boban ; Goran, Krstacic ; Sanja Balen ; Refmir, Tadzic ; Robert, Steiner ; Aleksandar, Vcev ;
2019.

Žulj, Marinko ; Steiner, Kristina ; Seiner Srdarević, Sabina ; Vezmar, Ana Marija ; Vuković, Mladen ; Vranjić, Petar ; Tomić, Matej ; Peršić, Viktor ; Boban, Marko ; Balen, Sanja ; Krstačić, Antonija ; Krstačić, Goran ; Petrović, Đorđe ; Matijević, Marko ; Ivanišević, Zrinka ; Miloloza, Ivan ; Smajić, Elnur ; Steiner, Robert ; Mirat, Jure ; Včev, Aleksandar
2019.

Žulj, Marinko ; Vuković, Mladen ; Vranjić, Petar ; Tomić, Matej ; Steiner, Kristina ; Vezmar, Ana Marija ; Steiner Srdarević, Sabina ; Kralik, Kristina ; Jakab, Jelena ; Pezerović, Davorin ; Ivaniš, Nikola ; Smolić, Robert ; Viktor, Persic ; Smolić, Martina ; Tepeš, Bojan ; Tadžić, Refmir ; Krstačić, Antonija ; Boban, Marko ; Balen, Sanja ; Krstačić, Goran ; Steiner, Robert ; Včev, Aleksandar
2019.

Žulj, Marinko ; Steiner Kristina ; Steiner Srdarević, Sabina ; Tomić, Matej ; Vezmar, Ana Marija ; Vuković, Mladen ; Vranjić, Petar ; Boban Marko ; Tadžić, Refmir ; Matijević, Marko ; Ivanišević, Zrinka ; Štambuk, Krešimir ; Šesto, Igor ; Szavits-Nossan, Janko ; Volarić, Nikola ; Kralik, Kristina ; Krstačić, Antonija ; Krstačić, Goran ; Steiner, Robert ; Mirat, Jure ; Včev, Aleksandar
2019.

Countable sets

Gregorek, Petar ; Vuković, Mladen
2018.
Matematičko fizički list

Uncountability of the Transcendental numbers

Gregorek, Petar ; Vuković, Mladen
2018.
Matematičko fizički list

Solving logical tasks by using semantical trees

Vuković, Milana ; Vuković, Mladen
2018.
Matematika i škola

Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
2018.

Žulj, Marinko ; Steiner, Kristina ; Steiner, Sabina ; Tomić, Matej ; Vezmar, Ana-Marija ; Vuković, Mladen ; Fenrich, Matija ; Boban, Marko ; Včev, Aleksandar
2017.
Gastroenterolog

Žulj, Marinko ; Tomić, Matej ; Vezmar, Ana- Marija ; Steiner, Kristina ; Vuković, Mladen ; Steiner, Sabina ; Fenrich, Matija ; Jakab, Jelena ; Boban, Marko ; Včev, Aleksandar
2017.

Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
2017.
Logic journal of the igpl

Biochemical laboratory tests for inflammatory bowel disease from a whole blood sample with a focus on laboratory diagnosis of anemia - project overview

Žulj, Marinko ; Boban, Marko ; Steiner, Kristina ; Tomić, Matej ; Vuković, Mladen ; Vezmar, Ana-Marija ; Malenica, Luka ; Milas, Dijana ; Tadžić, Arijan ; Mikšić, Štefica ; Juranić, Brankica ; Jakab, Jelena ; Volarić, Nikola ; Steiner, Sabina ; Pezerović, Davorin ; Šebo, Damir ; Šerić, Vatroslav ; Stupnišek, Mirjana ; Tadžić, Refmir ; Ivaniš, Nikola ; Včev, Aleksandar
2017.

Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
2017.

Žulj, Marinko ; Boban, Marko ; Jakab, Jelena ; Tovjanin, Bojan ; Šebo, Damir ; Korpar, Marina ; Tadžić, Arijan ; Tomić, Matej ; Vuković, Mladen ; Steiner, Kristina ; Vezmar, Anamarija ; Pezerović, Davorin ; Mihalj, Martina ; Ivaniš, Nikola ; Tadžić, Refmir ; Smolić, Martina ; Včev, Aleksandar
2017.

Lambda calculus as a base of functional programming

Rožić, Lovro ; Šnajder, Jan ; Vuković, Mladen
2016.
Math.e

Perkov, Tin ; Vuković, Mladen
2016.
Mathematical logic quarterly

Čačić, Vedran ; Vuković, Mladen
2014.
Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti

Logical analysis hybrid systems

Gavran, Ivan ; Vuković, Mladen
2014.
Poučak : časopis za metodiku i nastavu matematike

Perkov, Tin ; Vuković, Mladen
2014.
Logic journal of the igpl

Čačić, Vedran ; Vuković, Mladen
2012.
Mathematical communications

Perkov, Tin ; Vuković, Mladen
2012.
Annals of pure and applied logic

Complexity

Vuković, Mladen
2011.

Applied Logic

Vuković, Mladen
2011.

Vuković, Mladen
2011.
Glasnik matematički

Domagoj, Vrgoč ; Mladen Vuković
2011.
Reports on Mathematical Logic

Domagoj, Vrgoč, Mladen, Vuković
2010.
Logic journal of the igpl

Study of mathematics in Zagreb

Novak, Andrej ; Vuković, Mladen
2010.
Matematičko fizički list

Set theory

Vuković, Mladen
2010.

We are looking for sets

Vuković, Milana ; Vuković, Mladen
2010.
Poučak : časopis za metodiku i nastavu matematike

On axiom of choice, shoes and socks

Vuković, Mladen
2009.
Poučak : časopis za metodiku i nastavu matematike

Computability

Vuković, Mladen
2009.

Mathematical Logic

Vuković, Mladen
2009.

Problems in Set Theory

Bruckler, Franka, Miriam ; Čačić, Vedran ; Doko, Marko ; Vuković, Mladen
2008.

Vuković, Mladen
2008.
Mathematical logic quarterly

Bisimulations

Strmečki, Tihana
2007.

Mathematical Logic 1

Vuković, Mladen
2007.

Sahlqvist formulas

Perkov, Tin
2006.

Vuković, Mladen
2006.
The Journal of symbolic logic

Manger, Robert ; Nogo, Goranka ; Vuković, Mladen ; Rosenzweig, Dean ; Dalbelo-Bašić, Bojana
2006.

Vuković, Mladen
2005.
Bulletin of the Section of Logic

Vuković, Mladen
2004.
Mathematical communications

Mathematical Logic 1

Vuković, Mladen
2004.

Mathematical Induction and Goodstein Theorem

Vuković, Mladen
2003.
Poučak : časopis za metodiku i nastavu matematike

Vuković, Mladen
2003.
Bulletin of the Section of Logic

Some basic notions of set theory

Vuković, Mladen
2002.
Osječka matematička škola

Vuković, Mladen
2002.
Bulletin of symbolic logic

Study for mathematics teacher in Germany

Bruckler, Franka Miriam ; Vuković, Mladen
2002.
Matematika i škola

Goedel's incompleteness theorems

Vuković, Mladen
2002.
Matematičko fizički list

Vuković, Mladen
2000.
Bulletin of symbolic logic

Mathematical Logic 1

Vuković, Mladen
2000.

Vuković, Mladen
1999.
Notre Dame journal of formal logic

Vuković, Mladen
1999.
Grazer Mathematische Berichte

The Neretva River

Štambuk-Giljanović, Nives ; Vuković, Mladen
1998.

Vuković, Mladen
1997.
Mathematical communications

Generalized Veltman models

Vuković, Mladen
1996.

Vuković, Mladen
1996.
Glasnik matematički

Indirect proofs

Vuković, Mladen
1993.
Matematičko fizički list za učenike srednjih škola

Godel's theorems

Vuković, Mladen
1987.
More information about publications