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