Computability theory

Вики

Тезис Чёрча – Тьюринга

/

Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга.  Математически эквивалентен понятию частичной […]

Вики

Характеристики алгоритмов

/

Характеристики алгоритма Определение алгоритма Алгоритм – это конечная последовательность инструкций, которые определяют вычислительный процесс.  Алгоритм должен быть детерминированным, конечным и

Вики

Аналитическая иерархия

/

Аналитическая иерархия Определение аналитической иерархии Аналитическая иерархия – это система классификации множеств, основанная на их выразимости в арифметике второго порядка. 

Вики

Максимальный набор

/

Максимальный набор Определение максимального множества Максимальное множество – это коинконечное рекурсивно перечислимое подмножество натуральных чисел, которое не содержит надмножеств, которые

Вики

Допустимая нумерация

/

Допустимая нумерация Определение и эквивалентность допустимых нумераций Допустимые нумерации – это перечисления частично вычислимых функций, которые можно преобразовать в стандартную

Вики

Прыжок Тьюринга

/

Прыжок Тьюринга Определение оператора перехода Тьюринга Переход Тьюринга увеличивает степень Тьюринга задачи, делая её неразрешимой с помощью оракула для исходной

Вики

Простой набор

/

Простой набор Определение простых множеств Простое множество – это вычислимо перечислимое множество, которое является ко-бесконечным и не содержит бесконечных подмножеств,

Вики

Машина Oracle

/

Машина-оракул Определение и использование оракулов Оракул – это машина, которая может отвечать на вопросы о состоянии других машин.  Оракулы используются

Вики

Список неразрешимых проблем

/

Список неразрешимых проблем Определение неразрешимых задач Неразрешимая задача – это проблема, для которой не существует алгоритма, который всегда давал бы

Вики

ЭЛЕМЕНТАРНО

/

начальный Определение и классификация элементарных рекурсивных функций Элементарные рекурсивные функции – это объединение классов примитивных рекурсивных функций.  Название “элементарные” было

Вики

Кривинский автомат

/

Кривошипная машина Определение и применение машины Кривина Машина Кривина – это абстрактная машина для вычисления нормальных форм в лямбда-исчислении.  Она

Вики

Теория альфа-рекурсии

/

Теория альфа-рекурсии Определение и свойства α-рекурсии α-рекурсия – это форма рекурсии, которая использует порядковые числа для определения вычислимости.  α-рекурсия позволяет

Вики

Гиперарифметическая теория

/

Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция – это функция, которая вызывает сама себя.  Рекурсия может быть бесконечной,

Вики

Арифметическая иерархия

/

Арифметическая иерархия Определение арифметической иерархии Арифметическая иерархия – это множество множеств, упорядоченных по сложности определения.  Множество X является арифметическим, если

Вики

Проблема принятия решения

/

Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений – это вопрос о том, является ли формула первого порядка

Вики

Вычислимый порядковый номер

/

Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order

Вики

Лямбда-исчисление

/

Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление – это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые могут быть вычислены с

Вики

Рекурсивный язык

/

Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной машиной Тьюринга.  Рекурсивные языки включают

Вики

Степень Тьюринга

/

Степень Тьюринга Степень Тьюринга (или неразрешимость) измеряет уровень алгоритмической неразрешимости набора натуральных чисел.  Понятие степени Тьюринга фундаментально в теории вычислимости. 

Вики

Вычисление

/

Вычисление Вычисление – это любой тип арифметических или неарифметических вычислений, который четко определен.  Информатика – это область, которая включает в