Программы курсов

кафедры математической логики и теории алгоритмов
   

Обязательные курсы

Введение в математическую логику проф. В.А. Успенский 
Введение в математическую логику проф. Н.К. Верещагин
Математическая логика и алгоритмы проф. С.И. Адян

 

Специальные курсы

Аксиоматическая теория множеств проф. Н.К. Верещагин
Алгоритмы в геномике проф. В.А. Любецкий 
Введение в теорию моделей проф. В.А. Любецкий 
Избранные вопросы теории сложности вычислений проф. Н.К. Верещагин
Классическая и интуиционистская теория моделей проф. В.А. Любецкий  
Колмогоровская сложность проф. Н.К. Верещагин
Компьютерная логика проф. С.Н. Артемов
Конструктивная логика доц. В.Е. Плиско 
Независимость аксиомы выбора в аксиоматической теории множеств проф. Н.К. Верещагин
Сложность вычислений доц. В.Н. Крупский 
Теория сложности вычислений проф. Н.К. Верещагин
Формальные теории проф. Н.К. Верещагин

 

СПИСОК КАФЕДР