St. Petersburg, 199178, Russia, The 14th line of the Vasilievsky Island house 29 B
(812) 363-68-71, (812) 363-68-72
ru en

Mathematical logic

2017 – 2018, II semester

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

Associate Professor

Teaching assistants