Logika

Садржај курса:
Основе класичне исказне и предикатске логике, основни појмови о синтакси и семантици, основни појмови о природној дедукцији.

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