издано в 1980 г.
Добавлена: 10.09.2011
Аннотация
Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.
Впечатления о книге:
|
Belomor.canal про Манин: Вычислимое и невычислимое (Математика)
10-09-2011 Странно - это всё уже знали в прошлом веке:-) Оценка: отлично! |
1 пятёрка'
Просмотров 
Другие новости по теме:
 Статистические методы прогнозирования (djvu) | Арифметика. Алгоритмы. Сложность вычислений (сб.задач) (djvu) | Математическая логика и теория алгоритмов (djvu) | Локальные свойства решений уравнения переноса (djvu) | Доказуемое и недоказуемое (djvu) | Полный сборник решений задач для поступающих в ВУЗы. Группа Б, книга 2 (200 ... |
