Описание:Программа спецкурса "Интуиционистская логике" для студентов 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 с.