Matematička logika


Rezultati popravnog kolokvija

objavio 28. velj 2017. 03:59 Vedran Čačić

... su objavljeni. Uvidi su sutra (srijeda) u 9 sati u predavaonici 107.

Prazna kućica znači da papir nije nađen. Ima dosta nepotpisanih papira, pa dođite na uvide. :-)

Usmeni ispiti bit će u petak. Raspored će biti objavljen na webu i vratima prof. Vukovića.

O popravnom kolokviju

objavio 21. velj 2017. 06:45 Vedran Čačić   [ ažurirano 21. velj 2017. 06:59 ]

Piše se sutra (srijeda 22. veljače 2017. u 12 sati), prema objavljenom rasporedu.

Kolokvij se piše 150 minuta. Ima 4 teorijska pitanja, te 8 zadataka koji pokrivaju isto gradivo kao i zadaci s redovnih kolokvija (indukcija po izgradnji formule, normalne forme, glavni test za logiku sudova, primjena teorema kompaktnosti / nezavisnost / skupovi aksioma, prirodna dedukcija, izgradnja i interpretacija formule logike prvog reda, glavni test za logiku prvog reda, beskonačne strukture).

Na popravnom kolokviju može se osvojiti najviše 60 bodova. Trećina ukupnog broja bodova iz redovnih kolokvija i školskih zadaća pribraja se broju bodova na popravnom kolokviju.

Rezultati, uvidi, termin završnog

objavio 14. velj 2017. 11:41 Vedran Čačić   [ ažurirano 15. velj 2017. 23:07 ]

Objavljeni su rezultatiUvidi u drugi kolokvij bit će danas (četvrtak 16. veljače) u 14 sati u predavaonici 104.

Svi završni ispiti za studente koji su prošli bit će u utorak 21. veljače. Danas poslijepodne na vratima kabineta prof. Vukovića (A308) bit će stavljene liste na koje ćete se moći zapisati za završni ispit.

Zadaci s 3. školske zadaće

objavio 7. velj 2017. 11:21 Vedran Čačić

... su u prilogu.

O drugom kolokviju

objavio 6. velj 2017. 01:05 Vedran Čačić   [ ažurirano 6. velj 2017. 04:48 ]

Piše se prekosutra, u 12 sati. Objavljen je raspored po predavaonicama.

Bit će 3 teorijska pitanja, te 4 zadatka koji pokrivaju gradivo prirodne dedukcije i logike prvog reda (interpretacije i izgradnja formula, glavni test, beskonačni modeli).

Rezultati 3. školske zadaće

objavio 27. sij 2017. 23:15 Vedran Čačić   [ ažurirano 27. sij 2017. 23:32 ]

... su objavljeni. Uvidi će biti u ponedjeljak u 10 sati. Drugi kolokvij piše se u srijedu 8. veljače.

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.

1-10 of 85