Автор: Плиско В.Е., Хаханян В.X. Название: Интуиционистская логика Издательство: М.: МГУ, механико-математический факультет Год: 2009 Страниц: 160 Формат: djvu Размер: 12,1 Мб Язык: Русский
Интуиционистская логика — это раздел современной математической логики, имеющий своей логико-философской предпосылкой программу интуиционизма, которая рассматривает математику как совокупность «интуитивно убедительных» умственных построений. Эта книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...
Что такое математическая логика? Название: Что такое математическая логика? Автор: Калужнин Л.А. Издательство: Наука Год: 1964 Формат: pdf Страниц: 152 Размер: 29,8 Mb Язык:...
Навигация
Вход на сайт
Реклама
Интуиционистская логика 
