Алгебра и логика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 1972, том 11, номер 3, страницы 270–294 (Mi al1340)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О представлении частично рекурсивных функций в виде суперпозиций

В. В. Козьминых
Аннотация: Рассматривается следующая ситуация: одноместные частично рекурсивные функции строятся из одноместных примитивно рекурсивных функций и их обращений при помощи операции суперпозиции (рассмотрены и некоторые известные классы функций, более узкие, чем класс всех примитивно рекурсивных функций). В частности, доказано одно утверждение о представлении одноместных общерекурсивных функции в виде $AB^{-1}C$, где $B$ — перестановка и $A$ и $C$ фиксированы (перестановками называются функции, взаимно однозначно отображающие множество всех неотрицательных целых чисел на него же; $AB^{-1}C$ — это функция отображающая $x$ в $A(B^{-1}(C(x)))$), доказано, что любая рекурсивная перестановка представима как в виде $A_{0}A_{1}^{-1}A_{2}A_{3}^{-1}A_{4}A_{5}^{-1}$, так и в виде $A_{6}^{-1}A_{7}A_{8}^{-1}A_{9}A_{10}^{-1}A_{11}$, где $A_{n}$, $0\leqslant n\leqslant 11$, — примитивно рекурсивные перестановки (но "суперпозиций длины $5$ недостаточно), изучаются классы рекурсивных перестановок, представимых более простыми способами (подробно рассмотрена также ситуация, когда разнозначные одноместные частично рекурсивные функции строятся из разнозначных одноместных примитивно рекурсивных функций и их обращений).
Поступило: 03.03.1972
Реферативные базы данных:
Тип публикации: Статья
УДК: 51.01:518.5
Образец цитирования: В. В. Козьминых, “О представлении частично рекурсивных функций в виде суперпозиций”, Алгебра и логика, 11:3 (1972), 270–294
Цитирование в формате AMSBIB
\RBibitem{Koz72}
\by В.~В.~Козьминых
\paper О представлении частично рекурсивных функций в виде суперпозиций
\jour Алгебра и логика
\yr 1972
\vol 11
\issue 3
\pages 270--294
\mathnet{http://mi.mathnet.ru/al1340}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0311464}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al1340
  • https://www.mathnet.ru/rus/al/v11/i3/p270
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:65
    PDF полного текста:24
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024