Известия Иркутского государственного университета. Серия Математика,
2010, том 3, выпуск 4, страницы 58–64
(Mi iigum177)
|
Вычислимые семейства конечнозначных общерекурсивных функций
Ю. Д. Корольков Иркутский государственный университет
Аннотация:
Доказана представимость индексных множеств всех вычислимых семейств общерекурсивных функций
индексными множествами вычислимых семейств конечнозначных неубывающих общерекурсивных функций.
Ключевые слова:
индексное множество; общерекурсивная функция.
УДК:
518.5
© , 2024
Полный текст:
PDF файл (324 kB)