|
Труды института математики СО РАН, 1993, том 25, страницы 3–34
(Mi mt425)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Минимальные нумерации
С. А. Бадаев
Аннотация:
Дана классификация минимальных нумераций по алгоритмическому строению их нумерационных эквивалентностей и приведены соответствующие критерии минимальности. Построен пример вычислимого дискретного семейства рекурсивно перечислимых множеств без вычислимых минимальных нумераций и примеры семейств, все вычислимые нумерации которых минимальны, но не позитивны.
Библиогр. 22.
Образец цитирования:
С. А. Бадаев, “Минимальные нумерации”, Тр. Ин-та математики СО РАН, 25 (1993), 3–34
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt425 https://www.mathnet.ru/rus/mt/v25/p3
|
Статистика просмотров: |
Страница аннотации: | 112 | PDF полного текста: | 57 |
|