For research and personal data please see my homepage.

Kontakt

Moja je službena adresa oblika ime.prezime@math.hr. Zbog povremenih problema s našim mail serverom, preporučam slati poruke na moju drugu adresu, ovog oblika: ime.prezime1@gmail.com


Nastava

Ovdje se nalaze obavijesti i materijali za grupe kojima držim vježbe u ljetnom semestru 20/21. Za obavijesti o nastavi pratite i stranice Odsjeka, stranice kolegija i svoj studentski mail.


Baze podataka: materijali za prve dvije vježbe. Službeni web kolegija.

Vježbe su organizirane na način da se na chatu postavljaju video materijali, te studenti mogu postavljati pitanja ili komentirati gradivo.
Na chat kolegija prijavljujete se zasebnim računom kojeg je potrebno prvo aktivirati i pridružiti kolegiju koristeći AAI identitet.

 

Računarski praktikum 1: službeni web kolegija.

Vježbe su organizirane na način da se na chatu postavljaju video materijali, te studenti mogu postavljati pitanja ili komentirati gradivo.
Na chat kolegija prijavljujete se zasebnim računom kojeg je potrebno prvo aktivirati i pridružiti kolegiju koristeći AAI identitet.

Napomena: ako ste već aktivirali račun za chat za neki drugi kolegij, svejedno kliknite na gornje linkove kako bi vas se pridružilo kolegiju. Pristupni podaci će ostati jednaki.





Na ovim stranicama

Materijali za vježbe iz kolegija Baza Podataka (prva dva puta).
Materijali s vježbi iz Programiranja 2 za grupu kojoj sam držao vježbe ak. god. 17/18, i dvije vježbe kao zamjena u 18/19.
Materijali s vježbi iz Mreža računala za grupu kojoj sam držao vježbe ak. god. 18/19.
Typesetting za prirodnu dedukciju s autocompletionom opravdanja; dokazivač u računu sekvenata. Oba alata rade bez funkcijskih simbola. Interpreteri za RAM stroj i parcijalno rekurzivne funkcije.

Materijali o prirodnoj dedukciji (sš) sa skupa o nastavi logike 6. 10. 2018.
Zadaci o prirodnoj dedukciji (sš) sa skupa o nastavi logike 26. 2. 2019.
Aktualni polasci buseva s Kaptola i natrag: kaptolmerge. (Trenutno ne radi jer je ZET uklonio HTML verzije rasporeda.)


Ostalo

Homepage (research and personal)
Scholar
ORCiD
arXiv