Аннотация:
В работе вводится понятие вычислимой нумерации класса семейств. Найден критерий существования универсальной вычислимой нумерации конечного класса вычислимых семейств всюду определенных функций. В частности, установлено существование конечного вычислимого класса семейств тотальных функций без универсальных вычислимых нумераций.
Ключевые слова:вычислимая нумерация, универсальная нумерация, класс семейств, арифметическая нумерация.
УДК:510.54+510.57
Представлено членом редколлегии:Н. К. Замов Поступила: 28.04.2016
Полный текст:
PDF файл (176 kB)