Манин Ю.И. Доказуемое и недоказуемое

формат djvu
размер 2.34 МБ
добавлен 01 октября 2010 г.

М.: Совет. радио, 1979. 168 с.

В книге на достаточно доступном уровне изложена теория математического доказательства и причины, по которым те или иные вопросы оказываются принципиально неразрешимыми.

Похожие разделы

Смотрите также

Манин Ю.И. Вычислимое и невычислимое

формат djvu
размер 1.63 МБ
добавлен 01 октября 2010 г.

М.: Советское радио, 1980. 128 с. Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешенных задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов. Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.