Главная /
Языки и исчисления /
Тождественное отображение:
Тождественное отображение:
вопросПравильный ответ:
не будет изоморфизмом
будет изоморфизмом
будет морфизмом
Сложность вопроса
57
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Спасибо за ответы интуит
29 июн 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если T1, T2 - теории сигнатуры с равенством, то:
- # Если любая подструктура любой нормальной модели является ее моделью, то теория:
- # Без аксиомы "исключенного третьего" выводима:
- # Предикат "двоичное слово x - начало двоичного слова y":
- # Любые два плотно упорядоченных множества без первого и последнего элемента: