Matematička logika


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!

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.

1-10 of 72