Автоматическая группа
Автоматическая группа Определение и свойства автоматических групп Автоматическая группа – это конечно порожденная группа с конечными автоматами, которые определяют каноническую […]
Вики
Теория вычислимости
Вики
Проблема принятия решения
Проблема решения Определение и классификация задач принятия решений Задачи принятия решений – это проблемы, в которых требуется определить, является ли
Вики
С2С (математика)
S2S (математика) Определение и свойства теории S2S Теория S2S – это теория, которая включает в себя все формулы первого порядка,
Вики
Вычислимый порядковый номер
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Гиперарифметическая теория
Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция – это функция, которая вызывает сама себя. Рекурсия может быть бесконечной,
Вики
Теорема UTM
Теорема UTM Теорема UTM в теории вычислимости Теорема утверждает существование универсальной функции, которая может вычислить любую другую вычислимую функцию. Универсальная
Вики
Вычислимая функция
Вычислимая функция Определение вычислимости Вычислимая функция – это функция, которую можно вычислить с помощью алгоритма. Вычислимость функции может быть доказана
Вики
Общая рекурсивная функция
Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия – это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор. μ-оператор
Вики
Проблема принятия решения
Проблема решения Определение и классификация задач принятия решений Задачи принятия решений – это проблемы, в которых требуется определить, является ли
Вики
Неразрешимая проблема
Неразрешимая проблема Теорема Геделя о неполноте Теорема утверждает, что в любой формальной системе, достаточно мощной для арифметики, существуют утверждения, которые
Вики
Рекурсивный язык
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной функцией. Рекурсивные языки включают контекстно-зависимые
Вики
Проблема с почтовой перепиской
Проблема с почтовой перепиской Определение и история проблемы почтовой корреспонденции Проблема почтовой корреспонденции (PCP) – это задача, в которой требуется
Вики
оператор μ
Оператор Μ Определение и применение μ-оператора μ-оператор – это логический оператор, который принимает два аргумента и возвращает истину, если первый
Вики
Арифметическое множество
Арифметический набор Определение арифметических множеств Арифметическое множество – это множество натуральных чисел, которое может быть описано арифметической формулой. Арифметические множества
Вики
Формализм Маккарти
Формализм Маккарти Определение и использование условного оператора Условный оператор используется для ветвления вычислений на основе условия. Маккарти (1960) и Мински
Вики
Тезис Чёрча – Тьюринга
Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга. Математически эквивалентен понятию частичной
Вики
Характеристики алгоритмов
Характеристики алгоритма Определение алгоритма Алгоритм – это конечная последовательность инструкций, которые определяют вычислительный процесс. Алгоритм должен быть детерминированным, конечным и
Вики
Аналитическая иерархия
Аналитическая иерархия Определение аналитической иерархии Аналитическая иерархия – это система классификации множеств, основанная на их выразимости в арифметике второго порядка.
Вики
Максимальный набор
Максимальный набор Определение максимального множества Максимальное множество – это коинконечное рекурсивно перечислимое подмножество натуральных чисел, которое не содержит надмножеств, которые
Вики
Допустимая нумерация
Допустимая нумерация Определение и эквивалентность допустимых нумераций Допустимые нумерации – это перечисления частично вычислимых функций, которые можно преобразовать в стандартную
Вики
Прыжок Тьюринга
Прыжок Тьюринга Определение оператора перехода Тьюринга Переход Тьюринга увеличивает степень Тьюринга задачи, делая её неразрешимой с помощью оракула для исходной