Интуиционистская логика
Плиско В.Е., Хаханян В.Х.
В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся авторами в течение ряда лет на механико-математическом и философском факультетах Московского Государственного Университета, имени М. В. Ломоносова. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. Книга, предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
سال:
2009
ناشر کتب:
Издательство при механико-математическом факультете МГУ
زبان:
russian
صفحات:
159
فائل:
DJVU, 11.72 MB
IPFS:
,
russian, 2009