«Проблема P против NP» и классы вычислительной сложности: объяснение задачи тысячелетия и её значение для программирования
Как работают квантовые компьютеры и алгоритм Шора: почему квантовые вычисления могут взломать криптографию?
Лямбда-исчисление (Lambda Calculus) и истоки функционального программирования: от теории Алонзо Чёрча до Lisp и Haskell