Структура степеней неразрешимости для m - сводимости с ограничениями на сводящую функцию
dc.contributor.author | Беляев, В. Н. | |
dc.date.accessioned | 2018-01-07T14:19:39Z | |
dc.date.available | 2018-01-07T14:19:39Z | |
dc.date.issued | 2001 | |
dc.description.abstract | Розглядається структура ступенів нерозв'язності для m-зведення з обмеженнями на функцію, що зводить. Отримано критерії рефлексивності і транзитивності для таких зведень. Досліджуються ступені рекурсивних множин. Розглянуто зведення, для яких структура рекурсивних ступенів нерозв'язності є щільною. Наведено відповідні приклади. | uk |
dc.description.abstract | Рассматривается структура степеней неразрешимости для m-сводимости с ограничениями на сводящую функцию. Получены критерии рефлексивности и транзитивности для таких сводимостей. Исследуются степени рекурсивных множеств. Рассмотрены сводимости, для которых структура рекурсивных степеней неразрешимости является плотной. Приведены соответствующие примеры. | uk |
dc.description.abstract | The structure of the degrees of unsolvability for a m-reducibiluty with rectrictions on the reducing function is considered. The criteria for reflexivity and transitivity for such reducibiluty are received. The degrees of recursive sets are investigated. Are considered reducibiluty for which the structure of the recursive degrees of unsolubility is dense. The appropriare examples are given. | uk |
dc.identifier.citation | Вісник Одеського національного університету = Odesa National University Herald | uk |
dc.identifier.uri | https://dspace.onu.edu.ua/handle/123456789/12448 | |
dc.language.iso | ru | uk |
dc.publisher | Одеський національний університет імені І. І. Мечникова | uk |
dc.relation.ispartofseries | Фізико-математичні науки;Т. 6, вип. 3. | |
dc.subject | структура ступенів нерозв'язності | uk |
dc.subject | m-зведення | uk |
dc.subject | структура степеней неразрешимости | uk |
dc.subject | m-сводимость | uk |
dc.subject | structure of the degrees of unsolvability | uk |
dc.subject | m-reducibiluty | uk |
dc.title | Структура степеней неразрешимости для m - сводимости с ограничениями на сводящую функцию | uk |
dc.type | Article | uk |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 1.71 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: