Mladen Vuković

Akademske godine 2017./2018. na preddiplomskim i diplomskim studijima držim nastavu iz sljedećih kolegija:

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 (šifra  45689).
Ovdje možete preuzeti:

• pravila polaganja za kolegij Matematička logika za akad. god. 2017./2018.
• primjerci kolokvija kolegija Matematička logika: prvi kolokvij, drugi kolokvij, popravni kolokvij
• primjerci školskih zadaća iz kolegija Matematička logika: prve,  druge,  treće

Sadržaj kolegija pokriven je sveučilišnim udžbenikom M. Vuković, Matematička logika, Element, Zagreb, 2009.  

 

Teorija skupova. Ovo je obavezni kolegij na trećoj godini preddiplomskog studija Matematika (šifra 33145). Zatim, to je izborni kolegij na diplomskom studiju  Matematika i informatika, smjer: nastavnički (šifra 45775) i diplomskom studiju  Matematika, smjer: nastavnički (šifra 61560). Zatim, to je izborni kolegij na integriranom studiju Matematika i fizika, smjer: nastavnički (šifra 93082).

  Ovdje možete preuzeti:

•   pravila polaganja za kolegij Teorija skupova za akad. god. 2017./2018.
•   predavanja "Teorija skupova" (verzija iz 2015.)
•   zbirka zadataka iz Teorije skupova (verzija iz 2009.)
•   primjerci kolokvija iz kolegija Teorija skupova: prvi kolokviji, drugi kolokviji, popravni kolokviji 
•   primjerci školskih zadaća iz kolegija Teorija skupova: prve,  druge,  treće 

 

Složenost algoritama. Ovo je obavezni koelgij na drugoj godini diplomskog studija Računarstvo i matematika (šifra 61515). Ovdje redom možete preuzeti:  

•     pravila polaganja za kolegij Složenost algoritama za akad. god. 2017./2018.
•     predavanja "Složenost algoritama" (verzija iz 2018.)
•     primjerci kolokvija iz kolegija Složenost algoritama: prvi kolokviji, drugi koloviji, završni kolokviji, popravni kolokviji

     

Formalne metode računarstva. Ovo je NOVI izborni kolegij na diplomskom studiju Računarstvo i matematika koji se prvi puta izvodio u ljetnom semestru akad.god. 2016./2017. Kolegij prethodnik za ovaj kolegij je Izračunljivost. Dio predavanja bi se trebao izvoditi na PMF-MO, a dio na FER-u. Dio nastave koja bi se izvodila na FER-u predavat će doc.dr.sc. Alan Jović. Ovdje možete preuzeti:

• pravila polaganja za koelgij Formalne metode raćunarstva za akad.god. 2017./2018.
• skica plana predavanja kolegija Formalne metode računarstva po tjednima 

 

Matematička logika u računasrtvu. To je izborni kolegij na diplomskom studiju  Računarstvo i matematika. Kolegij se sastoji od dva dijela: logičko programiranje i funkcijsko programiranje. Praktični dio kolegija, tj. rad na raćunalima, vodit će doc.dr.sc. Vedran Čačić.

• pravila ploganja za kolegij Matematička logika u računarstvu za akad.god. 207./2018.  

 

Matematika logika i izračunljivost. To je izborni kolegij koji osmu godinu predajem na FER-u u Zagrebu na diplomskom studiju Računarstvo. Ovdje redom možete preuzeti:

•     materijali sa svim predavanjima
•     primjerci pismenih ispita: međuispiti, završni ispiti, ispitni rokovi 
•     primjeri s glavnim testom za FO 

 

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