Автор: Манин Ю. И.
Издательство: М.: Советское радио
Год: 1980
Формат: pdf
Страниц: 130
Размер: 25,5 Mb
Язык: Русский
Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.