Степени неразрешимости

Дж. Шенфилд

За особеностите на екземпляра

Състояние:: Отлично
Език:: Руски
Наличност:: 1 бр. - в това състояние и цена в този щанд. Други екземпляри от книгата

За изданието

Издателство:: Наука
Град на издаване:: Москва
Година:: 1977 г.
Език:: Руски
Страници:: 192
Корици:: Меки
Поредици и библиотеки:: Математическая логика и основания математики
Категория:: Математика
Ширина (мм):: 125
Височина (мм):: 200
Дебелина (мм):: 9

В максимально простой форме изложен автором материал по основным результатам о степенях неразрешимости (тьюринговых степенях). Книга содержит практически все принципиально важные результаты о рекурсивно перечислимых степенях. * * * СОДЕРЖАНИЕ Предисловие редактора. . . Введение............ 0. Терминология и обозначения.. 1. Рекурсивные функции.. 2. Изоморфизмы...... 3. Алгоритмы........ 4. Относительная рекурсивность.. 5. Рекурсивная перечислимость.. 6. Степени........... 7. Оценка степеней..... 8. Несравнимые степени. . 9. Верхние и нижние грани.. 10. Операция скачка... 11. Минимальные степени... 12. Простые множества... 13. Метод приоритета... 14. Теорема о разложении.. 15. Максимальные множества.. 16. Бесконечные нарушения.. 17. Индексные множества.. 18. Ветвящиеся степени.. Дополнения........ К.Е.М. Ейтс: Три теоремы о степенях рекурсивно перечислимых множеств .... А. X. Лахлан: Решетка peкурсивно перечислимых множеств... Л. Фейнер: Иерархии булевых алгебр... Л. Фейнер: Гипотеза сильной однородности... Именной указатель..... Предметный указатель.... Указатель обозначений.