Ebook: Интуиционистская логика
Author: Плиско В.Е. Хаханян В.Х.
- Year: 2009
- Publisher: Издательство при механико-математическом факультете МГУ
- City: Москва
- Language: Русский
- djvu
В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся авторами в течение ряда лет на механико-математическом и философском факультетах Московского Государственного Университета, имени М. В. Ломоносова. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. Книга, предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Download the book Интуиционистская логика for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)