Matematička logika u računarstvu

General information

MLUR 2025/26

Ispit se sastoji iz pismenog i usmenog dela.

Usmeni deo ispita: 

1. Pozitivno ocenjen pisani deo seminarskog rada i usmena odbrana

Usmena odbrana podrazumeva razgovor o temi seminarskog, potpune odgovore na pitanja i zadatke koji su u direktnoj vezi sa temom rada. Seminarski rad se može braniti samo u jednom terminu. Ukoliko je seminarski uspešno odbranjen, uzima se u obzir položen pismeni u bilo kom ispitnom roku tokom školske godine (nezavisno od termina odbrane). U slučaju da seminarski ne bude pozitivno ocenjen ili uspešno odbranjen, usmeni deo se polaže po modelu 2.      

2. Klasično odgovaranje na nekoliko slučajno izabranih pitanja

Uslov za izlazak na klasičan usmeni jeste prethodno položeni pismeni u istom ili vezanom roku u kome se polaže usmeni. Položeni pismeni se može iskoristiti samo za jedan izlazak na usmeni.

Materijali za pripremu usmenog ispita 2. 

Ispitna pitanja 2025/26

MLUR - beleške [pitanja 1-5] [pitanja 6-18

Napomene o pripremi seminarskog

The octopus of logic for computer science

The Prospects for Mathematical Logic in the Twenty-First Century
Author(s): Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
Source: The Bulletin of Symbolic Logic, Vol. 7, No. 2 (Jun., 2001), pp. 169-196

Spisak tema  Ime i prezime upisati u kolonu "Zainteresovani".

Šablon za pisanje rada [pdf] [zip]

MLUR 2021/22

Predavanja iz Matematičke logike u računarstvu održavaće se u učionici prema važećem rasporedu, po kombinovanom modelu. Studenti mogu da prisustvuju času u učionici ili da prate nastavu online:

  • putem linka (sa slobodnim pristupom) u periodu 4.10.-15.10. ili
  • prihvatanjem webex-poziva koji dobiju pre početka časa, počev od 18.10.
Link sa slobodnim pristupom će biti dostupan pred početak časa.

https://matf.webex.com/join/ikodinovic 

MLUR predavanja (radna verzija)

Konačna verzija beleški biće postavljena na kraju jesenjeg semestra.
MLUR 2020/21

NOVI TERMIN ZA USMENI:

Studenti koji su u Januaru 1 ili Janaru 2 položili pismeni deo ispita, usmeni mogu polagati 19. marta u 16.00 (Studentski trg).

U slučaju da student položi MLUR u ovom terminu, potrebno je da ispit prijavi u narednom ispitnom roku i tada će ocena biti formalno zaključena.

U slučaju da student ne položi MLUR u ovom terminu, ponovo mora da polaže pismeni deo ispita u nekom od redovnih ispitnih rokova.

MLUR predavanja

Ispitna pitanja

 

Pismeni deo ispita vredi maksimalno 60 poena. Prag za polaganje pismenog dela ispita određen je prema broju poena dobijenih na domaćim zadacima i naveden je u dokumentu ispod. Kada položi pismeni deo ispita, student može izaći na usmeni u tačno jednom terminu nekog od redovnih ispitnih rokova tokom 2020/21. godine, po sopstvenom izboru. 


Usmeni deo ispita vredi najviše 40 poena. Na usmenom delu ispita, pored odgovora na dva slučajno izabrana pitanja, treba uspešno odgovoriti i na pitanja u vezi sa domaćim zadacima (bez obzira da li su predata rešenja domaćih zadataka tokom semestra). Bez obzira na osvojen broj poena na pismenom ispitu, usmeni deo ispita je obavezan i neophodno je dati zadovoljavajuće odgovore na sva pitanja. Nakon neuspešnog polaganja usmenog dela ispita, student ponovo polaže pismeni deo.


Neophodno je da student prijavi ispit u svakom ispitnom roku u kome planira polaganje nekog dela ispita (pismenog, odn. usmenog).


MLUR-poeni

 

Home