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


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

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

Департман за опште дисциплине у техници
Програм предмета

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

Стицање основних знања из математичке логике са применом у рачунарству. Развијање апстрактног размишљања и формалног закључивања код студената.
Познавање основних појмова и резултата из математичке логике. Оспособљеност студента да стечена знања и вештине користи у даљем образовању и примени.
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
Име и презимеВид наставе
Недостаје слика

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

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

Пантовић др Јованка
Редовни професор

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

Иветић др Јелена
Доцент

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

Царић др Биљана
Доцент

Аудиторне вежбе
Недостаје слика

Лукић др Тибор
Ванредни професор

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