Теория вычислимости

Вики

Иерархия Гжегорчика

/

Гжегорчик hierarchy Статья представляет иерархию Гжегорчика, которая является расширением иерархии рекурсивных функций.  Иерархия Гжегорчика включает функции, которые могут быть определены […]

Вики

Функция Аккермана

/

Функция Аккермана Функция Аккермана используется для определения времени выполнения рекурсивных алгоритмов.  Функция Аккермана растет быстрее, чем любая примитивно-рекурсивная функция, и

Вики

Вычисления в пределе

/

Вычисление в пределе Предельная вычислимость – свойство вычислимости, связанное с предельными последовательностями.  Предельная вычислимость эквивалентна существованию вычислимой последовательности, сходящейся к

Вики

Арифметическое множество

/

Арифметический набор Арифметическое множество определяется формулой первого порядка на языке арифметики Пеано.  Множество простых чисел и рекурсивно перечислимые множества являются

Вики

Вычислительный анализ

/

Вычислимый анализ Вычислимый анализ – раздел математики, изучающий вычислимость функций и множеств.  Вычислимые функции представлены в виде программ на машине

Вики

Общая рекурсивная функция

/

Общая рекурсивная функция μ-рекурсивные функции являются обобщением рекурсивных функций, определенных с помощью μ-оператора.  μ-рекурсивные функции могут быть определены с использованием

Вики

Вычислимость

/

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

Вики

Вычислимое число

/

Вычислимое число Вычислимые числа – это те числа, которые могут быть вычислены с помощью алгоритмов или машин Тьюринга.  Определение вычислимых

Вики

Машина Тьюринга

/

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

Вики

Примитивная рекурсивная функция

/

Примитивная рекурсивная функция Примитивные рекурсивные функции используются для определения сложных функций с помощью рекурсии.  Рекурсия выполняется по одному аргументу за

Вики

Колмогоровская сложность

/

Сложность по Колмогорову Колмогоровская сложность – мера сложности описания строки.  Алгоритмическая информация связана с предсказанием и использованием универсального априорного распределения

Вики

Неразрешимая проблема

/

Неразрешимая проблема Неразрешимые проблемы связаны с различными темами, такими как логика, абстрактные машины или топология.  Существует бесчисленное множество неразрешимых проблем,

Вики

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

/

Проблема решения Задачи принятия решений связаны с выбором правильного ответа на входные данные.  Разрешимость задачи принятия решений определяется рекурсивностью множества

Вики

Вычислимая функция

/

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

Вики

Вычислимо перечислимое множество

/

Вычислимо перечислимый набор Вычислимо перечислимые множества являются подмножествами натуральных чисел, которые могут быть перечислены с помощью частично вычислимых функций.  Множество

Вики

Обратная математика

/

Обратная математика Рекурсивное понимание – система аксиом, описывающая вычислимость и бесконечную рекурсию.  Арифметическая трансфинитная рекурсия (ATR0) является непредикативной и имеет

Вики

Вычислимое множество

/

Вычислимый набор Вычислимые множества – это те, которые могут быть вычислены с помощью полной вычислимой функции.  Множество является вычислимым, если

Вики

Проблема остановки

/

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

Вики

Теория вычислимости

/

Теория вычислимости Теория вычислимости изучает вычислимость и связанные с ней понятия.  Вычислимость связана с возможностью решения алгоритмами определенных задач.  Алан

Вики

Модель вычислений

/

Модель вычисления Модель вычислений описывает, как вычисляется результат математической функции с учетом входных данных.  Модель описывает организацию блоков вычислений, памяти

Вики

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

/

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

Прокрутить вверх