Дж. Шенфилд. Степени неразрешимости

Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось.

Издательство: Наука
Год: 1977
Формат: PDF
Страниц: 192
Язык: русский

 

Скачать книгу (21,8 МБ):