ЕСПБ: 11.0

#Расуђивање у исказној логици (ДПЛЛ процедура, САТ решавачи, итд.) #Расуђивање у логици првог реда (Ербранова теорема, унификација, табло, резолуција, PROLOG, итд.) #Расуђивање у логици са једнакошћу (конгруентно затворење, презаписивање, парамодулација, итд.) #Темпорално расуђивање (модалне логике, темпорална логика, просторно-временско расуђивање, итд.) #Одлучивост и процедуре одлучивања (елиминација квантификатора, Гребнерове базе, СМТ решавачи, аутоматско расуђивање у геометрији, итд.) #Интерактивно доказивање теорема (природна дедукција, систем Isabelle/HOL) #Статистичко расуђивање (статистичко одлучивање, Бајесовско расуђивање, итд.) #Ограничења могућности расуђивања (Хилбертов програм, Геделове теореме, итд.)

Циљ предмета је да студента упозна са основним алгоритмима аутоматског и интерактивног формалног математичког расуђивања.

#John Harrison, Handbook of Practical Logic and Automated Reasoning. #Alan Bundy, The Computer Modelling of Mathematical Reasoning. #Alan Robinson, Andrei Voronkov, eds. Handbook of Automated Reasoning. #Keith J. Holyoak and Robert G. Morrison, eds. The Oxford Handbook of Thinking and Reasoning. #Kevin B. Korb and Ann E. Nicholson Bayesian Artificial Intelligence

комбиновани фронтални и индивидуални метод

Станковић Срђан