Главная /
Языки и исчисления /
Конечно аксиоматизируемая полная теория в конечной сигнатуре:
Конечно аксиоматизируемая полная теория в конечной сигнатуре:
вопросПравильный ответ:
не разрешима
разрешима
пуста
Сложность вопроса
61
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Экзамен сдан на зачёт. Спасибо сайту
23 янв 2020
Аноним
Если бы не эти ответы - я бы не справился c этими тестами intuit.
07 фев 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
не выводится формула: