разрешимый
In der Logik oder Mathematik: Eine Frage oder ein Problem ist durch ein Verfahren oder einen Algorithmus eindeutig lösbar.
Возможность решения задачи или вопроса с помощью алгоритма.
☞ Используется в контексте логики и теории вычислений.
-
Dieses Problem ist mathematisch entscheidbar.— Эта задача математически разрешима.
-
Ist die Frage innerhalb dieses Systems entscheidbar?— Является ли вопрос разрешимым в рамках этой системы?
-
Die Logik ist nicht entscheidbar.— Логика не является разрешимой.
Синонимы
Антонимы