Помощь
Категория:Примеры неразрешимых задач
Материал из Викиконспекты
Перейти к:
навигация
,
поиск
Страницы в категории «Примеры неразрешимых задач»
Показано 11 страниц из 11, находящихся в данной категории.
M
M-сводимость
И
Игра «Жизнь»
Н
Неразрешимость задачи вывода типов в языке с зависимыми типами
Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик
Неразрешимость игры Braid
Неразрешимость исчисления предикатов первого порядка
Неразрешимость проблемы существования решения диофантова уравнения в целых числах
П
Примеры неразрешимых задач: задача о замощении
Примеры неразрешимых задач: однозначность грамматики
Примеры неразрешимых задач: проблема соответствий Поста
Т
Теорема Райса-Шапиро
Категория
:
Задачи
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Категория
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Версия для печати
Постоянная ссылка
Сведения о странице