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

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

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

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