Название спецкурса на русском языке
Интуиционистская логика
Перевод названия курса на английский язык
Intuitionistic logic
Целевая аудитория
1 курс
2 курс
3 курс
4 курс
5 курс
6 курс
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2023/24
День недели
пятница
Время
18:30-20:05
Формат проведения
В аудитории
Аудитория
425
Аннотация
В спецкурсе излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. От слушателей не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в курсе.
Первая лекция 22 сентября в аудитории 425.
Первая лекция 22 сентября в аудитории 425.
Дополнительная информация
Контакты:
http://logic.math.msu.ru/staff/plisko/
Литература, связанная с материалами курса:
В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.:Издательство при мех.-мат. факультете МГУ, 2009.
В.Е.Плиско. Лекции по конструктивной логике. М.: ООО "Луч", 2021.