Theory of computation

Вики

Вычислительная семиотика

/

Вычислительная семиотика Определение и область применения Семиотика – это наука о знаках и их значениях.  Вычислительная семиотика – это междисциплинарная […]

Вики

Интерактивные вычисления

/

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

Вики

Доказательство Тьюринга

/

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

Вики

Типизированное лямбда-исчисление

/

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

Вики

Недетерминированный алгоритм

/

Недетерминированный алгоритм Определение недетерминированного алгоритма Недетерминированный алгоритм может давать разные результаты при одинаковых входных данных.  Параллельные алгоритмы могут работать по-разному

Вики

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

/

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

Вики

Полнота по Тьюрингу

/

Полнота по Тьюрингу Определение и история Полнота по Тьюрингу описывает способность компьютера выполнять все вычислимые функции.  Алан Тьюринг сформулировал идею

Вики

Цифровая физика

/

Цифровая физика Основы цифровой физики Цифровая физика рассматривает Вселенную как вычислительное устройство или компьютерную программу.  Конрад Цузе предложил идею в

Вики

Алгоритмическая теория игр

/

Алгоритмическая теория игр Основы алгоритмической теории игр Алгоритмическая теория игр объединяет теорию игр и информатику для разработки алгоритмов в стратегических

Вики

Схема (информатика)

/

Схема (информатика) Определение и классификация схем Схема – это математическая модель, описывающая логические операции.  Схемы могут быть классифицированы по различным

Вики

Просто типизированное лямбда-исчисление

/

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

Вики

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

/

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

Вики

Округление

/

Округление Округление – замена числа приблизительным значением с более коротким, простым или явным представлением.  Округление часто используется для получения значения,

Вики

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

/

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

Вики

Самоссылка

/

Ссылка на себя Самореференция – это использование одного элемента для ссылки на себя или на свое собственное произведение.  В литературе

Вики

Система Полу-Туэ

/

Полупрозрачная система Полуавтоматическая система – система перезаписи терминов, где монадические слова оканчиваются на ту же переменную, что и левосторонние и

Вики

Эффективный метод

/

Эффективный метод Эффективный метод или процедура в логике, математике и информатике – это интуитивно “эффективный” метод решения задач из определенного

Вики

Занятой бобр

/

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

Вики

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

/

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

Вики

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

/

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

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