Главная /
Языки и исчисления /
Если T1, T2 - теории сигнатуры с равенством, то:
Если T1, T2
- теории сигнатуры с равенством, то:
вопрос
Правильный ответ:
объединение
T2
со всеми - теоремами T1
совместно
объединение
T2
со всеми - теоремами T1
не совместно
дополнение
T2
до T1
совместно Сложность вопроса
64
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Гранд мерси за тесты по intiut'у.
14 ноя 2020
Аноним
Если бы не эти подсказки - я бы не смог решить c этими тестами intuit.
01 дек 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.