Для скачивания и перехода по внешней ссылке нажмите на
http://fileskachat.com/file/ 10794_c02cdbc905 1ac1c643e229ef3d 13fb3e.html
или
http://depositfiles.com/files/4h05c9d80
Вычислимое и невычислимое, Манин Ю.И., 1980.
Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешенных задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов. Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.