 |
| |||||||
| ||||||||
» Каталог
» Книги » Нехудожественная литература » Научная и техническая литература » Естественные науки » Физико-математические науки » Математика » Основания математики. Математическая логика
|
Эпистемология математического доказательства. В. В. Целищев499 руб
В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики.
|
© 2010-2016 - ТоварОК.ru интернет-магазин