Metadata
Author: WikiMatrix
Data
Greek[el]
Μια μέθοδος για την επίλυση τέτοιου προβλήματος, δοσμένης με τη μορφή αλγορίθμου, αποκαλείται διαδικασία απόφασης.
Russian[ru]
Метод решения проблемы разрешимости, представленный в форме алгоритма, называется разрешающей процедурой для этой проблемы.