Название спецкурса на русском языке
Математическая логика
Перевод названия курса на английский язык
Mathematical logic
Авторы курса
Кузнецов Степан Львович, Крупский Владимир Николаевич, Яворская Татьяна Леонидовна, Пентус Мати Рейнович
Целевая аудитория
3 курс
4 курс
5 курс
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Годовой
Тип курса
Спецкурс по выбору кафедры
Учебный год
2022/23
День недели
вторник
Время
12:30-14:05
Формат проведения
В аудитории
Аудитория
1403
Аннотация
Спецкурс предназначен для студентов, специализирующихся по кафедре математической логики и теории алгоритмов.
Аудитория 1608, дата начала: 13.09.2022.

В весеннем семестре спецкурс проходит в ауд.1403.
Дополнительная информация

Материалы и контакты:
http://www.mi-ras.ru/~sk/