Главная /
Языки и исчисления /
Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:
Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:
вопросПравильный ответ:
она непротиворечива при добавлении аксиом равенства
она противоречива при добавлении аксиом равенства
все равенства нормальные.
Сложность вопроса
85
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Какой студент ищет эти ответы интуит? Это же не сложно
16 мар 2016
Аноним
Это очень намудрённый вопрос intuit.
03 дек 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.