Табела 5.2 Спецификација  предмета

Студијски програм/студијски програми : Математика, Примењена математика
Врста и ниво студија: Дипломске академске студије
Назив предмета: Математичка логика
Наставник (Презиме, средње слово, име): Павловић С. Владимир
Наставник/сарадник за вежбе:  Динчић Ч. Небојша
Статус предмета: изборни
Број ЕСПБ: 7.5
Услов:
Циљ предмета Упознавање са класичним и новим појмовима математичке логике
Исход предмета Овладавање фундаменталним појмовима формалне (исказне и предикатске) логике, као и њеним применама  у вештачкој интелигенцији
Садржај предмета Теоријска настава Почеци формалне логике: Аристотелова силогистика, математичка логика, формалне теорије, семантика и синтакса. Исказна логика: искази, логички везници, исказне формуле, истинитосна вредност, задовољивост, таутологије и контрадикције, логички закони, нормалне форме, семантичке последице, формална доказивост, исказни рачун, синтаксичке последице, потпуност исказног рачуна. Предикатска логика: предикати, квантификатори, везане и слободне променљиве, језик предикатске логике,  терми, предикатске формуле, интерпретација, модел, задовољивост, ваљане формуле, формална доказивост, предикатски рачун, потпуност предикатског рачуна. Примене логике: вештачка интелигенција, аутоматско доказивање теорема, резолуција, Davis-Putnam процедура. Некласичне логике: интуиционистичка логика, модална логика,  више-вредносне логике, фази логика. Практична настава:Вежбе, Други облици наставе, Студијски истраживачки рад На вежбама се раде примери у складу са градивом обрађеним на предавањима.
Литература 1. Б. Шешеља, А. Тепавчевић, Алгебра 1, Универзитет у Новом Саду, Природно-математички факултет, Нови Сад, 2000. 2. С. Милић, Елементи математичке логике и теорије скупова, Универзитет у Новом Саду, Природно-математички факултет, Нови Сад, 1981. 3. S. Burris, Logic for Mathematics and Computer Science, Prentice Hall,  Upper Saddle River, New Jersey, 1998.
Број часова  активне наставе						Остали часови
Предавања: 45	Вежбе: 30	Други облици наставе: 0		Студијски истраживачки рад: 0
Методе извођења наставе Фронтална, групна, интерактивна
Оцена  знања (максимални број поена 100)
Предиспитне обавезе			поена		Завршни испит		поена
домаћи задаци			15		писмени испит
колоквијум-и			45		усмени испит		40
семинар-и					..........