Название спецкурса на русском языке
Интуиционистская логика
Перевод названия курса на английский язык
Intuitionistic logic
Авторы курса
Плиско Валерий Егорович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2022/23
День недели
понедельник
Время
16:45-18:20
Формат проведения
В аудитории
Аудитория
425
Аннотация
Краткое содержание курса:
элементы теории алгоритмов;
элементы интуиционистской математики и интуиционисткой логики;
семантика Крипке интуиционистской логики высказываний и логики предикатов.
Дополнительная информация

Контакты:
http://logic.math.msu.ru/staff/plisko/