ЭЛЕМЕНТАРНО — Википедия
начальный Определение и классификация элементарных рекурсивных функций Элементарные рекурсивные функции — это объединение классов примитивных рекурсивных функций. Название «элементарные» было […]
Вики
Computability theory
Вики
Машина Тьюринга — Википедия
Машина Тьюринга Определение и история машины Тьюринга Машина Тьюринга — это абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году.
Вики
Колмогоровская сложность — Википедия
Колмогоровская сложность Определение и свойства колмогоровской сложности Колмогоровская сложность — это мера сложности описания строки с помощью алгоритма. Сложность определяется
Вики
Обратная математика — Википедия
Обратная математика Основы рекурсивного понимания Рекурсивное понимание — это система аксиом, которая включает арифметическую трансфинитную рекурсию и другие важные утверждения.
Вики
Общая рекурсивная функция — Википедия
Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия — это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор. μ-оператор
Вики
Кривинский автомат — Википедия
Кривошипная машина Определение и применение машины Кривина Машина Кривина — это абстрактная машина для вычисления нормальных форм в лямбда-исчислении. Она
Вики
Нормальная форма (абстрактное переписывание) — Википедия
Обычная форма (переписывание тезисов) Определение нормальной формы Объект находится в нормальной форме, если он не может быть переписан дальше. Система
Вики
Нормальная форма (абстрактное переписывание) — Википедия
Обычная форма (переписывание тезисов) Определение нормальной формы Объект находится в нормальной форме, если он не может быть переписан дальше. Система
Вики
Нормальная форма (абстрактное переписывание) — Википедия
Обычная форма (переписывание тезисов) Определение нормальной формы Объект находится в нормальной форме, если он не может быть переписан дальше. Система
Вики
Вычислительная логика — Википедия
Логика вычислимости Основы логики вычислимости Логика вычислимости (CoL) — это формальная система, которая описывает вычислимые функции и отношения. CoL использует
Вики
Лямбда-исчисление — Википедия
Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Вычислимо перечислимое множество — Википедия
Вычислимо перечислимый набор Определение вычислимо перечислимого множества Множество S натуральных чисел называется вычислимо перечислимым, если существует частично вычислимая функция, область
Вики
Машина Тьюринга — Википедия
Машина Тьюринга Определение и история машины Тьюринга Машина Тьюринга — это абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году.
Вики
Теория альфа-рекурсии — Википедия
Теория альфа-рекурсии Определение и свойства α-рекурсии α-рекурсия — это форма рекурсии, которая использует порядковые числа для определения вычислимости. α-рекурсия позволяет
Вики
Гиперарифметическая теория — Википедия
Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция — это функция, которая вызывает сама себя. Рекурсия может быть бесконечной,
Вики
Вычислимость — Википедия
Вычислимость Проблема остановки Тьюринга Проблема остановки Тьюринга — это вопрос о том, может ли машина Тьюринга определить, остановится ли другая
Вики
Арифметическая иерархия — Википедия
Арифметическая иерархия Определение арифметической иерархии Арифметическая иерархия — это множество множеств, упорядоченных по сложности определения. Множество X является арифметическим, если
Вики
Проблема принятия решения — Википедия
Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений — это вопрос о том, является ли формула первого порядка
Вики
Вычислимо перечислимое множество — Википедия
Вычислимо перечислимый набор Определение вычислимо перечислимого множества Множество S натуральных чисел называется вычислимо перечислимым, если существует частично вычислимая функция, область
Вики
Вычислимый порядковый номер — Википедия
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Лямбда-исчисление — Википедия
Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах. Лямбда-термины представляют собой выражения, которые могут быть вычислены с