Matematička logika


2. kolokvij

objavio 3. velj 2016. 00:45 Vedran Čačić

Piše se 3. veljače u 12 sati, prema objavljenom rasporedu. Gradivo: prirodna dedukcija, karakteristični skupovi interpretacija, glavni test za logiku prvog reda, analiza kardinalnosti struktura prvog reda.

Odrada

objavio 17. pro 2015. 02:43 Vedran Čačić

(Ispričavam se što tek sada javljam, čekao sam potvrdu od satničara o predavaonici.)

Odrada vježbi od petka 18.12. (zbog dodjele prvostupničkih diploma) bit će danas (četvrtak, 17.12.) u 18 sati u predavaonici A102.

Rezultati (napokon:)

objavio 9. pro 2015. 17:20 Vedran Čačić

Rezultati prvog kolokvija i druge školske zadaće. Kao što je rečeno, uvidi su u petak nakon vježbi.

Napomena: prvi zadatak je imao grešku: nedostajao je član "+1" na desnoj strani kongruencije. Kako zbog bolesti nisam mogao biti prisutan na samom kolokviju, a gotovo sve studente je taj zadatak zbunio, u dogovoru s profesorom svim studentima koji su pisali 1. kolokvij priznato je 4 boda na tom zadatku.

Obavijest i pitanje

objavio 8. pro 2015. 17:15 Vedran Čačić

Rezultati kolokvija i druge školske zadaće bit će objavljeni u srijedu navečer. Uvid će biti nakon vježbi (petak u 16h).

S obzirom na to da je 18. prosinca dodjela prvostupničkih diploma u vrijeme kad imamo vježbe, bilo bi dobro smisliti alternativni termin. Pokušajte se dogovoriti međusobno prije samih vježbi ovaj petak. Ja predlažem pomicanje dva sata ranije, dakle 12 do 14 sati, ali otvoren sam i za druge prijedloge.

Rezultati

objavio 16. stu 2015. 02:51 Vedran Čačić

... prve školske zadaće su objavljeni.

Druga školska zadaća

objavio 10. stu 2015. 05:42 Vedran Čačić

... održat će se na vježbama 13. studenog. Gradivo: teorem kompaktnosti, glavni test za logiku sudova, skupovi aksioma.

Prva školska zadaća

objavio 19. lis 2015. 23:55 Vedran Čačić

... iz matematičke logike bit će održana 23. listopada od 14:15 do 14:45. Nakon školske zadaće, imat ćemo 15 minuta pauze, te nakon toga još 60 minuta vježbi (od 15:00 do 16:00). Molim vas da ne kasnite, time ometate svoje kolege koji pišu. Gradivo: indukcija po izgradnji/složenosti formule, karakteristični skupovi interpretacija, svojstva normalnih formi.

Školska zadaća ima 3 zadatka koji zajedno nose 5 bodova, a tri školske zadaće zajedno nose maksimalno 10 bodova (najslabija se ne računa). Služi kao dobra "kondicijska priprema" za kolokvij. Druga školska zadaća bit će najvjerojatnije neposredno prije prvog kolokvija, dok će treća biti u pretposljednjem ili posljednjem tjednu nastave.

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.

1-10 of 69