×
Универзитет у Новом Саду

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

Матичне организационе јединице предмета: Департман за опште дисциплине у техници, Катедра за математику

Основне информације:
 
Категорија Научно-стручни
Ужа научна област Теоријска и примењена математика
ЕСПБ 5

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

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

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

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

Аутори Назив Година Издавач Језик
Јаничић, П. Математичка логика у рачунарству 2007 Математички факултет, Београд Српски језик
Lawrence Paulson Logic and Proof, course notes 2014 online Енглески
Коста Дошен Основна логика 2013 Математички институт САНУ Српски језик
Michael Huth, Mark Ryan Logic in Computer Science: Modelling and Reasoning about Systems 2012 Cambridge University Press Енглески
Зоран Огњановић, Силвиа Гилезан Увод у теоријско рачунарство 2014 ФТН Српски језик
Предметна активност Предиспитна Обавезна Број поена
Предметна активност
Писмени део испита - комбиновани задаци и теорија
Предиспитна
Не
Обавезна
Да
Број поена
70.00
Предметна активност
Тест
Предиспитна
Да
Обавезна
Да
Број поена
20.00
Предметна активност
Домаћи задатак
Предиспитна
Да
Обавезна
Да
Број поена
10.00
API Image

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

Редовни професор

Предавања

Предавања

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