| М А Т Е М А Т И К А | |
|
Научные Труды Ивановского Государственного Университета. Выпуск 2 | |
| [Главная страница] [Алфавитный указатель авторов] [Содержание выпуска 2] | |
Е. А. Поляков
Замечания о понятиях предполноты, полноты и универсальности частично
рекурсивных функций
| А Н Н О Т А Ц И Я |
|
Вводятся три различных понятия предполноты (полноты) частично
рекурсивных функций. Исследуется связь этих понятий с универсальной
функцией. Доказана эквивалентность следующих утверждений:
ч.р.ф. a полна в смысле (1); ч.р.ф. a предполна в смысле (1); ч.р.ф. a - функция-константа или a - ra-универсальная функция (где ra - область определения функции a). |