Садржај курса:
Основе класичне исказне и предикатске логике, основни појмови о синтакси и семантици, основни појмови о природној дедукцији.
Циљ изучавања курса:
Студент треба да научи шта је то формални језик предикатске логике, да одлучује које су формуле таутологије и да доказује у формалном систему класичне предикатске логике.
Опције уписа
Гости немају право приступа овом курсу. Молимо пријавите се на систем.