незавершенные статьи по теоретической информатике

Вики

Вычислимый изоморфизм

/

Вычислимый изоморфизм Определение вычислимого изоморфизма Два множества  A  и  B  из натуральных чисел считаются вычислимо изоморфными, если существует полная вычислимая […]

Вики

Запрос (сложность)

/

Запрос (сложность) Основы теории вычислительной сложности Запрос сопоставляет структуры одной сигнатуры со структурами другого словаря.  Нил Иммерман использует концепцию запроса

Вики

Алгоритм Атлантик-Сити

/

Алгоритм Атлантик-Сити Использование машинного перевода Машинный перевод требует исправления ошибок и подтверждения точности.  Не следует копировать машинный перевод без редактирования. 

Вики

Получленство

/

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

Вики

Преобразователь лог-пространства

/

Преобразователь логарифмического пространства Определение и использование LST LST – это машина Тьюринга, используемая для сокращения логарифмического пространства.  LST имеет три

Вики

Пустой тип

/

Пустой тип Определение и использование пустого типа Пустой тип (0) – это тип без терминов.  Может быть определен как нулевой

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