Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(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


Associate Professor

Teaching assistants