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