Садржај курса:
Основе класичне исказне и предикатске логике, основни појмови о синтакси и семантици, основни појмови о природној дедукцији.
Циљ изучавања курса:
Студент треба да научи шта је то формални језик предикатске логике, да одлучује које су формуле таутологије и да доказује у формалном систему класичне предикатске логике.
Opciones de matriculación
Los invitados no pueden entrar a este curso. Por favor acceda con sus datos.