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

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:

вопрос

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

Г будет полным в этой сигнатуре
Г будет неполным в этой сигнатуре
Г будет пополняемым в этой сигнатуре
Сложность вопроса
78
Сложность курса: Языки и исчисления
65
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Если бы не данные подсказки - я бы не решил c этими тестами интуит.
15 окт 2019
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.