Главная / Языки и исчисления / Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:

Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:

вопрос

Правильный ответ:

не существует

существует практически

существует теоретически

Сложность вопроса

Сложность курса: Языки и исчисления

Оценить вопрос

Очень сложно

Сложно

Средне

Легко

Очень легко

Комментарии:

Аноним

спасибо за пятёрку

25 июл 2020

Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.