Математичка логика у рачунарству

Опште информације

MLUR 2025/26

Испит се састоји из писменог и усменог дела.

Усмени део испита: 

1. Позитивно оцењен писани део семинарског рада и усмена одбрана

Усмена одбрана подразумева разговор о теми семинарског, потпуне одговоре на питања и задатке који су у директној вези са темом рада. Семинарски рад се може бранити само у једном термину. Уколико је семинарски успешно одбрањен, узима се у обзир положен писмени у било ком испитном року током школске године (независно од термина одбране). У случају да семинарски не буде позитивно оцењен или успешно одбрањен, усмени део се полаже по моделу 2.      

2. Класично одговарање на неколико случајно изабраних питања

Услов за излазак на класичан усмени јесте претходно положени писмени у истом или везаном року у коме се полаже усмени. Положени писмени се може искористити само за један излазак на усмени.

Материјали за припрему усменог испита 2. 

Испитна питања 2025/26

МЛУР - белешке [питања 1-5] [питања 6-18

Напомене о припреми семинарског

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

Списак тема  Име и презиме уписати у колону "Заинтересовани".

Шаблон за писање рада [pdf] [zip]

МЛУР 2021/22

Предавања из Математичке логике у рачунарству одржаваће се у учионици према важећем распореду, по комбинованом моделу. Студенти могу да присуствују часу у учионици или да прате наставу online:

  • путем линка (са слободним приступом) у периоду 4.10.-15.10. или
  • прихватањем webex-позива који добију пре почетка часа, почев од 18.10.
Линк са слободним приступом ће бити доступан пред почетак часа.

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

МЛУР предавања (радна верзија)

Коначна верзија белешки биће постављена на крају јесењег семестра.
МЛУР 2020/21

НОВИ ТЕРМИН ЗА УСМЕНИ:

Студенти који су у Јануару 1 или Јанару 2 положили писмени део испита, усмени могу полагати 19. марта у 16.00 (Студентски трг).

У случају да студент положи МЛУР у овом термину, потребно је да испит пријави у наредном испитном року и тада ће оцена бити формално закључена.

У случају да студент не положи МЛУР у овом термину, поново мора да полаже писмени део испита у неком од редовних испитних рокова.

МЛУР предавања

Испитна питања

 

Писмени део испита вреди максимално 60 поена. Праг за полагање писменог дела испита одређен је према броју поена добијених на домаћим задацима и наведен је у документу испод. Када положи писмени део испита, студент може изаћи на усмени у тачно једном термину неког од редовних испитних рокова током 2020/21. године, по сопственом избору. 


Усмени део испита вреди највише 40 поена. На усменом делу испита, поред одговора на два случајно изабрана питања, треба успешно одговорити и на питања у вези са домаћим задацима (без обзира да ли су предата решења домаћих задатака током семестра). Без обзира на освојен број поена на писменом испиту, усмени део испита је обавезан и неопходно је дати задовољавајуће одговоре на сва питања. Након неуспешног полагања усменог дела испита, студент поново полаже писмени део.


Неопходно је да студент пријави испит у сваком испитном року у коме планира полагање неког дела испита (писменог, одн. усменог).


МЛУР-поени

 

Почетна