Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
СКИДКИ ДО 25%Спецпредложение на детские игрушки и товары для сада и огородаДО 4 ИЮНЯ

Серия "Новая философия математики"

Производитель: Параллель
Всего 4 товара
Сортировка:  по дате выхода↓   по рейтингу   по названию(A-я)   по автору(A-я)   по цене

Тезис Черча 8%
Тезис Черча, 2008 г.
Целищев В.В.
В монографии отражены исследования в области философии математики, важные для понимания природы вычислимости и ее роли в познании. В центре внимания находится тезис Черча, относящийся к уточнению интуитивного понятия вычислимости, а также понятие адгоритма, лежащего в основе понятия... дальше
418 руб.   (обычная цена: 454 руб.)
в наличии*; ориентировочная дата отгрузки: 30.05.2017 (Вт.)
шт.           отложить
Интуиция, финитизм и рекурсивное мышление 8%
В монографии отражены исследования в области философии математики, важные для понимания математического мышления, в частности, элементарных структур. В центр внимания находятся понятия математической интуиции и формальных структур - примитивно рекурсивных функций. Оба понятия рассмотрены... дальше
418 руб.   (обычная цена: 454 руб.)
в наличии*; ориентировочная дата отгрузки: 30.05.2017 (Вт.)
шт.           отложить
Эпистемология математического доказательства 8%
В монографии отражены исследования в области философии и математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства... дальше
418 руб.   (обычная цена: 454 руб.)
в наличии*; ориентировочная дата отгрузки: 30.05.2017 (Вт.)
шт.           отложить
Алгоритмизация мышления: геделевский аргумент 8%
Монография посвящена сопоставлению возможностей искусственного интеллекта и человеческих когнитивных способностей в области математического мышления. В центре внимания находится использование теорем Курта Геделя о неполноте формалных систем математики. Логико-математическая аргументация... дальше
512 руб.   (обычная цена: 556 руб.)
в наличии*; ориентировочная дата отгрузки: 30.05.2017 (Вт.)
шт.           отложить