Matematička logika


Rezultati popravnog kolokvija

objavio 22. velj 2015. 10:47 Vedran Čačić   [ ažurirano 23. velj 2015. 00:19 ]

... su objavljeni. Uvidi su danas (ponedjeljak) u 11:30 u kabinetu prof. Vukovića (A308) za teorijske zadatke, te sutra (utorak) u 18h u kabinetu V. Čačića za ostale zadatke.

Usmeni (za studente koji su prošli) je obavezan. Usmeni ispiti će se održati u srijedu 25.2. u predavaonici 002 prema rasporedu u tablici (zadnji stupac).

Popravni kolokvij

objavio 17. velj 2015. 14:12 Vedran Čačić   [ ažurirano 17. velj 2015. 14:13 ]

... piše se sutra (srijeda) u 12:00, prema objavljenom rasporedu.

Kolokvij se piše 2 sata i 30 minuta, s tim da prvih pola sata rješavate samo teorijska pitanja. Nakon pola sata dobijete ostale zadatke, i još 2 sata rješavate što i kako želite.

Rezultati

objavio 12. velj 2015. 09:48 Vedran Čačić

... su objavljeni.

Rezultati drugog kolokvija

objavio 10. velj 2015. 13:45 Vedran Čačić   [ ažurirano 12. velj 2015. 05:02 ]

... (i uvidi) bit će u četvrtak, 12. veljače, u 19 sati, u predavaonici 109.

Drugi kolokvij

objavio 3. velj 2015. 14:08 Vedran Čačić

Objavljena je tablica sa svim dosadašnjim bodovima.

Drugi kolokvij održat će se sutra (srijeda, 4. veljače 2015.) u 12:00 prema objavljenom rasporedu. Gradivo zadataka: prirodna dedukcija, karakteristični skupovi interpretacija, glavni test za logiku prvog reda, beskonačne strukture.

3. školska zadaća

objavio 12. sij 2015. 00:38 Vedran Čačić   [ ažurirano 12. sij 2015. 00:40 ]

... bit će na vježbama 22. siječnja. Gradivo: semantika teorije prvog reda, glavni test za logiku prvog reda, beskonačne strukture.

Rezultati 2. školske zadaće

objavio 3. sij 2015. 04:32 Vedran Čačić

su objavljeni. Uvidi su nakon vježbi u četvrtak 8. siječnja.

Službena rješenja

objavio 10. pro 2014. 23:30 Vedran Čačić   [ ažurirano 10. pro 2014. 23:30 ]

Kako bismo bar malo reducirali današnje uvide, u prilogu su službena rješenja i najčešće greške koje sam uočio prilikom ispravljanja kolokvija. Nadam se da će bar nekom pomoći.

Rezultati kolokvija i druga školska zadaća

objavio 9. pro 2014. 13:47 Vedran Čačić

Objavljeni su rezultati kolokvija. Termini uvida pišu u tablici. Druga ŠZ bit će na vježbama 18. prosinca.

Raspored za kolokvij

objavio 24. stu 2014. 05:46 Vedran Čačić

1. kolokvij iz Matematičke logike održat će se u srijedu, 26. studenog 2014. u 12:00, prema objavljenom rasporedu.

1-10 of 62