Информатика и вычислительная техника
  • формат djvu
  • размер 2.34 МБ
  • добавлен 01 октября 2010 г.
Манин Ю.И. Доказуемое и недоказуемое
М.: Совет. радио, 1979. 168 с.

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

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

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