Предмет: Математичка логика (17 - IFE230)


Основне информације

КатегоријаНаучно-стручни
Научна областТеоријска и примењена математика
МултидисциплинарнаДа
ЕСПБ5
Програм предмета

Програм се примењује од 01.10.2005..


Предмети предуслови

Назив предметаМора се одслушатиМора се положити
Алгебрадада

Предмети којима је предуслов предмет Математичка логика

Назив предметаМора се одслушатиМора се положити
Базе података 1дада
Методе и технике науке о подацимадада
Стицање основних знања из математичке логике са применом у рачунарству. Развијање апстрактног размишљања и формалног закључивања код студената.
Познавање основних појмова и резултата из математичке логике. Оспособљеност студента да стечена знања и вештине користи у даљем образовању и примени.
1) Основни појмови из синтаксе исказног рачуна. 2) Класична логика. Интуиционистичка логика. 3) Аксиоматски систем, природна дедукција, секвентни рачун. 4) Основни појмови из синтаксе предикатског рачуна. 5) Основни појмови семантике логичких система. Метод ДПЛЛ, метод таблоа, метод резолуције. 6) Рачунске интерпретације логика: ламбда рачун и теорија комбинатора. Рачуни без типова. Основни рачуни са типовима. Curry-Howard кореспонденција (формуле-као-типови, докази-као-терми и програми) између логичких система и формалних рачуна.
Предавања. Вежбе. Консултације. На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. На вежбама се раде задаци који прате предавања и увежбава се градиво са предавања. Поред предавања и вежби, редовно се одржавају консултације.
АуториНазивГодинаИздавачЈезик
Коста ДошенОсновна логика2013Математички институт САНУСрпски језик
Јаничић, П.Математичка логика у рачунарству2007Математички факултет, БеоградСрпски језик
Зоран Огњановић, Силвиа ГилезанУвод у теоријско рачунарство2014ФТНСрпски језик
Lawrence PaulsonLogic and Proof, course notes2014onlineЕнглески
Michael Huth, Mark RyanLogic in Computer Science: Modelling and Reasoning about Systems2012Cambridge University PressЕнглески
Предметна активностПредиспитнаОбавезнаБрој поена
Тестдада20.00
Домаћи задатакдада10.00
Писмени део испита - комбиновани задаци и теоријанеда70.00
Име и презимеВид наставе
Недостаје слика

Гилезан др Силвиа
Редовни професор

Предавања
Недостаје слика

Иветић др Јелена
Ванредни професор

Предавања
Недостаје слика

Прокић др Симона
Асистент

Аудиторне вежбе