Математическая логика и теория алгоритмов, МФТИ

Математическая логика и теория алгоритмов, МФТИ.
Вычислимость, теория вычислений.
Теория кодирования и сложность вычислений.
https://users.mccme.ru/anromash/courses/index.html