|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Рекурсивно перечислимые множества и степени неразрешимостикнига
- Автор: Арсланов Марат Мирзаевич
- Год издания: 1986
- Издательство: Изд-во Казан. ун-та
- Местоположение издательства: Казань
- Объём: 202 страниц
- Монография
- Аннотация: В книге излагаются теории рекурсивно перечислимых множеств и тьюринговых степеней неразрешимости, важных разделов математической логики. Подробно изучаются строение полурешетки степеней неразрешимости, степени различных классов рекурсивно перечислимых множеств. Рассматриваются такие объекты, как степени неразрешимости, сводящиеся к 0', минимальные степени, исследуются элементарные теории различных полурешеток степеней неразрешимости и излагаются полученные в последние годы результаты о неразрешимости этих теорий. Книга рассчитана на специалистов, работающих в области математической логики.
- Добавил в систему: Золин Евгений Евгеньевич