|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Интуиционистская логикаучебный курс
- Автор: Плиско В.Е.
- Год создания: 2021
- Организация: МГУ имени М.В. Ломоносова
- Дистанционный курс
- Описание: Программа спецкурса "Интуиционистская логике" для студентов 1-5-го курсов и аспирантов 1. Общее представление о конструктивных и неконструктивных доказательствах. 2. Интуиционистское понимание логических связок и кванторов. 3. Интуиционистское исчисление высказываний (ИИВ). 4. Псевдобулевы алгебры. 5. Модели Крипке для логики высказываний. 6. Интуиционистское исчисление предикатов (ИИП). 7. Модели Крипке для логики предикатов. 8. Интуиционистская формальная арифметика HA. 8. Интуиционистская арифметика конечных типов. 9. Модифицированная реализуемость. 10. Гёделевская интерпретация. Литература: 1. В.Е.Плиско, В.Х.Хаханян. Интуиционистская логика. М.: Мехмат МГУ, 2009. 159 с. http://lpcs.math.msu.ru/~plisko/intlog.pdf. 2. В.Е.Плиско. Лекции по конструктивной логике. М.: Луч, 2021. 248 с.
- Добавил в систему: Плиско Валерий Егорович
Преподавание курса
- 1 сентября 2023 - 19 декабря 2023 Плиско Валерий Егорович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Плиско В.Е.
- 1 сентября 2022 - 19 декабря 2022 Плиско Валерий Егорович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Плиско В.Е.
- 1 сентября 2021 - 20 декабря 2021 Плиско Валерий Егорович
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Плиско В.Е.