РАЗРЕШИМОСТЬ
Определение
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Источник: наш словарь
💬 Комментарии и оценки
Загрузка комментариев...