|
Интеллектуальные системы. Теория и приложения, 2021, том 25, выпуск 1, страницы 107–125
(Mi ista297)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Часть 3. Математические модели
$\Lambda$-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика
А. Ю. Коновалов МГУ
Аннотация:
В данной работе рассматриваются $\Lambda$-выражения, построенные на основе универсальных функций для классов примитивно-рекурсивных функций иерархии Гжегорчика. Найдено достаточное условие на вид $\Lambda$-выражения, при котором это $\Lambda$-выражение определяет примитивно-рекурсивную функцию из заданного класса иерархии Гжегорчика.
Ключевые слова:
иерархия Гжегорчика, примитивно-рекурсивные функции, строгая примитивно-рекурсивная реализуемость.
Образец цитирования:
А. Ю. Коновалов, “$\Lambda$-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика”, Интеллектуальные системы. Теория и приложения, 25:1 (2021), 107–125
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista297 https://www.mathnet.ru/rus/ista/v25/i1/p107
|
Статистика просмотров: |
Страница аннотации: | 80 | PDF полного текста: | 32 | Список литературы: | 18 |
|