Год выпуска: 2006 Автор: В. В. Целищев Издательство: Параллель Страниц: 212 ISBN: 5-98901-010-9
Описание
В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики.
Только что получила второй курсовик!!! Спасибо вам огромное за выполненную вами работу!!! Я думаю преподаватели останутся в таком же восторге как и мы!!! Спасибо вам за скидку!!! Было очень приятно с вами работать!!! Всего вам хорошего!