Категория:Теория вычислимости
Подкатегории
В этой категории отображается 2 подкатегории из имеющихся 2.
Страницы в категории «Теория вычислимости»
Показано 39 страниц из 39, находящихся в данной категории.
В
Н
- Неотделимые множества
- Неразрешимость задачи вывода типов в языке с зависимыми типами
- Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик
- Неразрешимость задачи об эквивалентности КС-грамматик
- Неразрешимость игры Braid
- Неразрешимость исчисления предикатов первого порядка
- Неразрешимость проблемы существования решения диофантова уравнения в целых числах
