Портал по теоретической информатике. Каталог на основе тегов; галерея людей, занимающихся исследованиями в области информатики; электронные учебные материалы; блог.

Статья в Википедии.

Лекции Кузнецова С. Д. по теория и реализации реляционных баз данных.

Учебное пособие: порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью.

Структура и новости кафедры. Лекции по квантовым вычислениям.

Курс для студентов НГУ по теории формальных языков, теории вычислимости и вычислительной сложности.

Лекции по структурной сложности и эффективным алгоритмам (PDF).

Курс лекций (PDF) "Advanced Algorithms" (МФТИ ФУПМ). Темы: сложность, вероятностные и приближенные алгоритмы. Система тестов.

Курс лекций по структурной сложности для мехмата МГУ.