Теоретико-сложностные проблемы криптографии
Математическая логика и алгоритмы, 4 курс мехмата
Курс "Сложность вычислений" для дополнительного образования на мехмате.
Введение в математическую логику
Computations and Complexity (Math in Moscow program in IUM)