Алгоритмическая разрешимость: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м убрана категория «Теория вычислений» с помощью HotCat
Строка 48:
[[Категория:Математическая логика]]
[[Категория:Теория алгоритмов]]
[[Категория:Теория вычислений]]
 
[[cs:Rozhodnutelnost]]