Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
А.Н. Дегтев (1990)
Algebra i Logika
Similarity:
Displaying similar documents to “Дискретные семейства рекурсивных функций и индексные множества”
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Similarity:
Вычислимые однозначные нумерации
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Computable analysis
Stanisław Mazur
Similarity:
CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals....................................
Семейства с одноэлементной полурешеткой Роджерса.
С.С. Гончаров, С.А. Бадаев, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev, S. S. Gončarov, S. A. Badaev (1998)
Algebra i Logika
Similarity:
Минимальные нумерации позитивно вычислимых семейств
С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)
Algebra i Logika
Similarity: