Автор: Плиско В.Е., Хаханян В.X.
Название: Интуиционистская логика
Издательство: М.: МГУ, механико-математический факультет
Год: 2009
Страниц: 160
Формат: djvu
Размер: 12,1 Мб
Язык: Русский

Интуиционистская логика отражает взгляд интуиционизма на характер логических законов, считающихся с его точки зрения допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности. Эта книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.