Программы обучения
Математическая логика в широком смысле этого слова включает в себя теорию логических исчислений, фомализованные теории, теорию алгоритмов и теорию сложности алгоритмов. Все эти разделы были созданы в прошлом веке. Для специальностей, готовящих будущих программистов и разработчиков разнообразных математических алгоритмов (а не только кодировщиков известных алгоритмов), на математико-механическом факультете Санкт-Петербургского государственного университета в течение 15 лет читался курс математической логики. С. 45-49.

Mathematical logic in the broad sense of this word includes theory of logic calculuses, formalized theories, theory of algorithms and theory of algorithm complexity. All these parts were developed in the last century. The course of mathematical logic for specialities of future programmers and developers of various algorithms (but not simply coders of a well-known algorithm) was presented at the faculty of mathematics and mechanics of St.Petersburg State University during 15 years.