Добро пожаловать!

Вход на сайт

Внимание! Новости из категории "Комиксы 18+" , "Журналы 18+" и "Фильмы 18+" на главной странице не публикуются.

Интуиционистская логика

Автор: natagu Дата: 5-01-2021, 06:40 Категория: Книги » Фунд. дисциплины » Мат. и алгебра

Интуиционистская логика

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


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

Скачать Интуиционистская логика



Просмотров: 103 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.