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

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://new.math.msu.su/content_root/programs/kaf/logica.htm
Дата изменения: Mon Nov 10 08:54:14 2008
Дата индексирования: Sun Apr 10 01:14:05 2016
Кодировка: Windows-1251

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

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

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

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

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

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

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