Задача разрешимости: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 16:
==См. также==
* [[Проблема разрешения]]
* [[Алгоритмическая разрешимость]]
{{logic-stub}}
|