Основания математики. Математическая логика

Интуиционизм, А. Гейтинг

Скачать книгу "Интуиционизм, А. Гейтинг"
Страниц: 160
Год издания: 2010
Язык: Русский
Вниманию читателей предлагается книга голландского математика и логика А.Гейтинга, представляющая собой монографию по основаниям математики. Вопросы оснований математики (теория математического доказа ...

Эпистемология математического доказательства, В. В. Целищев

Скачать книгу "Эпистемология математического доказательства, В. В. Целищев"
Страниц: 212
Год издания: 2006
Язык: Русский
В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. ...

Развитие многозначной логики, А. С. Карпенко

Скачать книгу "Развитие многозначной логики, А. С. Карпенко"
Страниц: 448
Год издания: 2015
Язык: Русский
В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных при ...

Азбука математической логики, Г. П. Мельников

Скачать книгу "Азбука математической логики, Г. П. Мельников"
Страниц: 104
Год издания: 2016
Язык: Русский
Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, ...