Введение в математическую логику

материалы к курсу В.А. Успенского, 2004 г.

• Вопросы к экзамену (2 поток, 1 курс мехмата, 2004) rtf, cp866, koi8-r
• Лекции по теории алгоритмов для 1 курса мехмата (2004) PS, PDF
• Подборка задач по теории алгоритмов PS , PDF
• Современные учебники по математической логике и теории алгоритмов Н.К. Верещагин, А.Х. Шень
• Другие курсы лекций по математической логике и теории алгоритмов homepage В.Е. Плиско
• Курсы лекций по сложности вычислений
• Сайт курса "Компьютерная логика"

Материалы к курсу М.Р. Пентуса, 2005, 2006 гг.

Материалы к курсу Л.Д. Беклемишева, 2008 г.