Главная / Языки и исчисления / Если T1, T2 - теории сигнатуры с равенством, то:

Если `T₁, T₂` - теории сигнатуры с равенством, то:

вопрос

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

существует нормальная модель T₁ и ее расширение - нормальная модель T₂

не существует нормальная модель T₁ и ее расширение - нормальная модель T₂

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

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

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

Очень сложно

Сложно

Средне

Легко

Очень легко

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

Аноним

Я завалил сессию, за что я не углядел этот великолепный сайт с всеми ответами с тестами intuit до того как забрали в армию

20 июл 2019

Аноним

Я провалил сессию, за что я не углядел этот крутой сайт с решениями с тестами intuit до сессии

08 мар 2017

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