Matematički fakultet, Univerzitet u Beogradu
Katedra za računarstvo i informatiku
Zbog najavljene blokade fakulteta u ponedeljak 2.12. (sutra) neće biti održani časovi vežbi iz Automatskog rezonovanja. Nadoknadu ćemo najverovatnije obaviti onlajn, a termin će biti objavljen naknadno.
Mejl serveri blokiraju slanje datoteka sa ekstenzijom .cnf, pa obratite pažnju prilikom slanja domaćeg zadatka da datoteku sa formulom imenujete sa ekstenzijom .in umesto toga.
Postavljen je treći domaći zadatak iz Automatskog rezonovanja. Sve detalje možete naći ovde.
Predispitne obaveze se sastoje iz domaćih zadataka, teorijskih testova i projekta. Termin za predaju svakog domaćeg zadatka objavljuje se na ovoj stranici.
Završni ispit se sastoji iz praktičnog i usmenog dela.
Za više detalja pogledati ovde.
| Predispitne obaveze | Domaći zadaci | 10 poena |
|---|---|---|
| Teorijski testovi | 10 poena | |
| Projekat | 20 poena (prag 1 poen) | |
| Završni ispit | Praktični deo | 30 poena (prag 12 poena) |
| Usmeni deo | 30 poena (prag 12 poena) |
Kodove sa vežbi možete pronaći ovde.
Skriptu kolege Ognjena Kocića možete pronaći ovde. U skripti je upotrebljen drugačiji pristup implementaciji struktura podataka za predstavljanje formula od onog na vežbama. Na ispitu je dozvoljena upotreba bilo kog od ta dva pristupa.
| Ime | Ivan Drecun |
| ivan.drecun@matf.bg.ac.rs | |
| Konsultacije | Dogovor putem mejla |
| CV | Srpski | English |