Course information

Students will master the theoretical material provided by the course, be able to apply the knowledge gained to solving theoretical and applied problems. The material covered by the course includes: propositional calculus, ordinal numbers, first-order logic, formal systems, Godel’s incompleteness theorems.

Course program

Lecturers

Teaching assistants