DC Field | Value | Language |
dc.contributor.author | Платонов, Μ. Л. | ru |
dc.contributor.author | Дегтев, А. Н. | ru |
dc.contributor.author | Platonov, Μ. L. | en |
dc.contributor.author | Degtev, A. N. | en |
dc.date.accessioned | 2024-01-23T10:42:15Z | - |
dc.date.available | 2024-01-23T10:42:15Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Платонов, Μ. Л. О верхних полурешетках Р-степеней вычислимых нумераций / Μ. Л. Платонов, А. Н. Дегтев. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 94–99. | ru |
dc.identifier.issn | 1562-2983 | - |
dc.identifier.uri | https://elib.utmn.ru/jspui/handle/ru-tsu/30996 | - |
dc.description.abstract | В работе доказывается, что верхняя полурешетка р-степеней вычислимых нумераций семейства рекурсивно перечислимых множеств не является нижней и дистрибутивной полурешеткой. Показано, что если р-степень содержит однозначную нумерацию, то в этой полурешетке истинны следующие предложения: (b)(ab)). | ru |
dc.description.abstract | This proved that the upper semilattice p-degrees all computable Numerations family of recursively enumerable sets (RPM) is not lower and distributive semilattice. We show that if the district level of a unique numbering, it semilattice true following suggestions: (b)(ab)). | en |
dc.format.mimetype | application/pdf | en |
dc.language.iso | ru | en |
dc.publisher | Издательство Тюменского государственного университета | ru |
dc.relation.ispartof | Вестник Тюменского государственного университета. — 2008. — № 6 | ru |
dc.subject | теория нумераций | ru |
dc.subject | сводимость частично рекурсивных функций | ru |
dc.subject | theory of numbering | en |
dc.subject | reducibility of partially recursive functions | en |
dc.title | О верхних полурешетках p-степеней вычислимых нумераций | ru |
dc.title.alternative | On the upper semilattices of P-degrees of computable numbering | en |
dc.type | Article | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
dc.type | info:eu-repo/semantics/article | en |
local.description.firstpage | 94 | - |
local.description.lastpage | 99 | - |
local.issue | 6 | - |
local.identifier.uuid | 72826d27-7051-4873-82c3-1bd6fd2fa43c | - |
local.identifier.handle | ru-tsu/30996 | - |
Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|