Аннотация:
В работе вводится понятие вычислимой нумерации класса семейств. Найден критерий существования универсальной вычислимой нумерации конечного класса вычислимых семейств всюду определенных функций. В частности, установлено существование конечного вычислимого класса семейств тотальных функций без универсальных вычислимых нумераций.
Ключевые слова:
вычислимая нумерация, универсальная нумерация, класс семейств, арифметическая нумерация.
Работа выполнена за счет финансовых средств субсидии, выделенной Казанскому (Приволжскому) федеральному университету на выполнение госзадания, проект № 1.2045.2014, а также при финансовой поддержке Российского фонда фундаментальных исследований, проект № 15-31-20607.
96
Представлено членом редколлегии:Н. К. Замов Поступила: 28.04.2016