Matematička logika


Rezultati 2. školske zadaće

objavio 8. sij 2017. 11:56 Vedran Čačić

... su napokon objavljeni. Treća školska zadaća piše se 20. siječnja.

Vježbe 23. prosinca

objavio 23. pro 2016. 05:16 Vedran Čačić

... se neće održati. Sretan Božić i Nova godina! Vidimo se u 2017.

Rezultati 1. kolokvija

objavio 10. pro 2016. 10:03 Vedran Čačić

... su objavljeni. Uvidi će biti u ponedjeljak (12. prosinca) od 14 do 15 sati u predavaonici 105.

Prvi kolokvij

objavio 29. stu 2016. 15:05 Vedran Čačić

... piše se 30. studenoga u 12:00, prema objavljenom rasporedu. Ako netko nije na popisu, neka dođe u 006.

Druga školska zadaća

objavio 17. stu 2016. 02:56 Vedran Čačić

... iz Matematičke logike bit će u petak, 18. studenog 2016. u 14 sati u terminu vježbi. Zadaća se piše od 14:15 do 14:45, nakon toga su vježbe od 15:00 do 16:00.

Pokriveno gradivo: primjena teorema kompaktnosti, skupovi aksioma, glavni test za logiku sudova.

Rezultati prve školske zadaće

objavio 13. stu 2016. 06:04 Vedran Čačić

... su objavljeni.

Prva školska zadaća

objavio 26. lis 2016. 22:03 Vedran Čačić

... iz matematičke logike piše se u petak, 28. listopada u terminu vježbi (14:15~14:45). Vježbe su od 15:00 do 16:00. Pokriveno gradivo: karakteristični skupovi formula, indukcija po formulama, normalne forme.

Rezultati

objavio 24. velj 2016. 02:35 Vedran Čačić

Rezultati popravnog kolokvija su objavljeni. Uvidi će biti danas (24. veljače) u 16:30 sati u predavaonici 107. Studenti koji imaju u zadnjem stupcu oznaku "dovoljan" mogu doći na upis ocjene dovoljan (2).

Završni ispiti održat će se idući tjedan, prema rasporedu koji će biti objavljen na web-stranici prof. Vukovića kad bude poznat raspored nastave za idući semestar. Studenti koji bi željeli odgovarati u petak 26. veljače trebaju se javiti prof. Vukoviću mailom.

Popravni kolokvij

objavio 17. velj 2016. 01:37 Vedran Čačić

iz ML piše se danas u 12 sati, svi studenti pišu u predavaonici 003. Kolokvij se piše 150 minuta.

Rezultati, završni i uvidi

objavio 9. velj 2016. 22:21 Vedran Čačić

Objavljeni su rezultati 2. kolokvija. Kao i uvijek, prazna kućica znači da nije nađen odgovarajući zadatak. 0 znači nula bodova na tom zadatku. "izvrstan" u zadnjem stupcu znači da student(ica) može doći na upis ocjene izvrstan (5) bez završnog ispita.

Uvidi će biti u petak u 14:30 sati.

Na vratima kabineta prof. Vukovića nalaze se liste za upis termina za završni ispit. Prije nego što se upišete, prvo pažljivo pročitajte upute za upis na listu!

1-10 of 79