Стицање основних знања из математичке логике са применом у рачунарству. Развијање апстрактног размишљања и формалног закључивања код студената.

Познавање основних појмова и резултата из математичке логике. Оспособљеност студента да стечена знања и вештине користи у даљем образовању и примени.

1) Основни појмови из синтаксе исказног рачуна. 2) Класична логика. Интуиционистичка логика. 3) Аксиоматски систем, природна дедукција, секвентни рачун. 4) Основни појмови из синтаксе предикатског рачуна. 5) Основни појмови семантике логичких система. Метод ДПЛЛ, метод таблоа, метод резолуције. 6) Рачунске интерпретације логика: ламбда рачун и теорија комбинатора. Рачуни без типова. Основни рачуни са типовима. Curry-Howard кореспонденција (формуле-као-типови, докази-као-терми и програми) између логичких система и формалних рачуна.

Предавања. Вежбе. Консултације. На предавањима се излаже теоретски део градива пропраћен карактеристичним примерима ради лакшег разумевања градива. На вежбама се раде задаци који прате предавања и увежбава се градиво са предавања. Поред предавања и вежби, редовно се одржавају консултације.