Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
TOTAL SALEБольшая зимняя распродажа: тысячи товаров со скидкой до 40%! (как найти товары из распродажи)РАСПРОДАЖА

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

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

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