Шенфилд Дж. Степени неразрешимости / Шенфилд Джозеф; перевод с английского И. А. Лаврова; под редакцией Ю. Л. Ершова. - Москва: Наука, 1977. - 192 с. - (Математическая логика и основания математики). - Доп.: с. 95. - Имен. указ.: с. 185. - Предм. указ.: с. 186. - Указ. обозн.: с. 191.Отраслевые рубрики: математика, теория алгоритмов Ключевые слова: алгоритмы, ветвящиеся степени, гипотеза сильной однородности, изоморфизмы, индексные множества, максимальные множества, минимальные степени, множества, операция скачка, относительная рекурсивность, оценка степеней, рекурсивная перечислимость, рекурсивно перечислимые множества, рекурсивные функции, степени, степени неразрешимости Форматир. содержание: Три теоремы о степенях рекурсивно перечислимых множеств/ Ейтс К. Е. М. Решетка рекурсивно перечислимых множеств/ Лахлан А. Х. Иерархии булевых алгебр/ Фейнер Л. Гипотеза сильной однородности/ Фейнер Л.
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|