Название спецкурса на русском языке
Математическая логика и алгоритмы
Перевод названия курса на английский язык
Mathematical logic and algorithms
Целевая аудитория
4 курс
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Курс научно-естественного содержания
Учебный год
2021/22
Аудитория
[Неприменимо]
Аннотация
Углубленный курс математической логики и теории алгоритмов читается на 4-м курсе в весеннем семестре. Он дополняет базовый обязательный курс, читаемый на 2-м курсе мехмата.
Дополнительная информация
Материалы (слайды, конспекты, программа, задачи) и контакты:
http://logic.math.msu.ru/staff/shehtman/