Название: Степени неразрешимости Автор: Шенфилд Дж. Издательство: М.: Наука Год: 1977 Формат: PDF Страниц: 192 Размер: 21.8 MB Язык: Русский
Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.
Скачать Шенфилд Дж. - Степени неразрешимости [1977, PDF]
|