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

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

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

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