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