Matematička logika


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!

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.

1-10 of 76