Курс призван познакомить слушателей с некоторыми классическими результатами и идеями теоретической информатики (Theoretical Computer Science), которые будут полезны как исследователям, так и программистам, желающим расширить свой кругозор.

Очный курс не читается ежегодно, но доступен в онлайн-формате в двух частях:

• Сложность вычислений
• Вычислимость