Гиперкомпьютеры — Википедия
Гипервычисление Определение и история гипервычислений Гипервычисления — это вычислительные системы, способные решать задачи, которые классические компьютеры не могут. Идея гипервычислений […]
Вики
Теория вычислений
Вики
Схема (информатика) — Википедия
Схема (информатика) Определение и классификация схем Схема — это математическая модель, описывающая логические операции. Схемы могут быть классифицированы по различным
Вики
Рекурсия — Википедия
Рекурсия Определение рекурсии Рекурсия — это процесс, при котором функция вызывает сама себя. Рекурсия используется для определения бесконечных последовательностей и
Вики
Введение в теорию вычислений — Википедия
Введение в теорию вычислений Введение в теорию вычислений Учебник по теоретической информатике, написанный Michael Sipser и опубликованный в 1997 году.
Вики
Трансвычислительная задача — Википедия
Транскомпьютерная задача Определение транскомпьютерной задачи Транскомпьютерная задача требует обработки более 1093 бит информации. Число 1093 называется пределом Бремермана и представляет
Вики
Пределы вычислений — Википедия
Пределы вычислений Физические и практические ограничения вычислений Существуют ограничения на объем вычислений и хранения данных, связанные с массой, объемом и
Вики
Недетерминированный алгоритм — Википедия
Недетерминированный алгоритм Определение недетерминированного алгоритма Недетерминированный алгоритм может давать разные результаты при одинаковых входных данных. Параллельные алгоритмы могут работать по-разному
Вики
Система Полу-Туэ — Википедия
Полупрозрачная система Определение и свойства системы полу-Тьюринга Система полу-Тьюринга — это система перезаписи строк, которая имитирует машину Тьюринга. Она включает
Вики
Алгоритм Маркова — Википедия
Алгоритм Маркова Определение и примеры алгоритмов Маркова Алгоритм Маркова — это метод обработки строк, основанный на замене подстрок. Алгоритм назван
Вики
Вычислительная семиотика — Википедия
Вычислительная семиотика Определение и область применения Семиотика — это наука о знаках и их значениях. Вычислительная семиотика — это междисциплинарная
Вики
Интерактивные вычисления — Википедия
Интерактивные вычисления Основы интерактивных вычислений Интерактивные вычисления — это математическая модель, которая включает взаимодействие ввода-вывода во время вычислений. Используются различные
Вики
Доказательство Тьюринга — Википедия
Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула доказуемой) неразрешима. Он использует
Вики
Общая рекурсивная функция — Википедия
Общая рекурсивная функция Определение и свойства μ-рекурсии μ-рекурсия — это форма рекурсии, которая позволяет определить функцию, используя только μ-оператор. μ-оператор
Вики
Типизированное лямбда-исчисление — Википедия
Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами. Они являются фундаментальными для типизированных функциональных языков
Вики
Недетерминированный алгоритм — Википедия
Недетерминированный алгоритм Определение недетерминированного алгоритма Недетерминированный алгоритм может давать разные результаты при одинаковых входных данных. Параллельные алгоритмы могут работать по-разному
Вики
Полнота по Тьюрингу — Википедия
Полнота по Тьюрингу Определение и история Полнота по Тьюрингу описывает способность компьютера выполнять все вычислимые функции. Алан Тьюринг сформулировал идею
Вики
Вычислимо перечислимое множество — Википедия
Вычислимо перечислимый набор Определение вычислимо перечислимого множества Множество S натуральных чисел называется вычислимо перечислимым, если существует частично вычислимая функция, область
Вики
Вычислимость — Википедия
Вычислимость Проблема остановки Тьюринга Проблема остановки Тьюринга — это вопрос о том, может ли машина Тьюринга определить, остановится ли другая
Вики
Проблема принятия решения — Википедия
Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений — это вопрос о том, является ли формула первого порядка
Вики
Вычислимо перечислимое множество — Википедия
Вычислимо перечислимый набор Определение вычислимо перечислимого множества Множество S натуральных чисел называется вычислимо перечислимым, если существует частично вычислимая функция, область
Вики
Просто типизированное лямбда-исчисление — Википедия
Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с типами продуктов и операторами