Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://elib.utmn.ru/jspui/handle/ru-tsu/30961
Название: | О верхних полурешетках е-степеней вычислимых нумераций |
Другие названия: | On the upper semilattices of e-degrees of computable numbering |
Авторы: | Платонов, М. Л. Platonov, M. L. |
Ключевые слова: | теория нумераций the theory of numbering |
Дата публикации: | 2006 |
Издатель: | Издательство Тюменского государственного университета |
Библиографическое описание: | Платонов, М. Л. О верхних полурешетках е-степеней вычислимых нумераций / М. Л. Платонов. — Текст : электронный // Вестник Тюменского государственного университета. — 2006. — № 5. — С. 160–162. |
Аннотация (реферат): | Доказано, что верхняя полурешетка K рекурсивно перечислимых степеней неразрешимости изоморфна некоторой подрешетке ζ полурешетки e-степеней вычислимых нумераций семейства всех рекурсивно перечислимых множеств. Proved, that the upper semilattes recursively enumerable degrees of insolubility K is isomorphic some sub lattes ζ e-degrees of the computable numeration's of all recursively innumerable sets. |
URI (Унифицированный идентификатор ресурса): | https://elib.utmn.ru/jspui/handle/ru-tsu/30961 |
ISSN: | 1562-2983 |
Источник: | Вестник Тюменского государственного университета. — 2006. — № 5 |
Располагается в коллекциях: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.