Главная /
Языки и исчисления /
Теория [формула]-формулы, из которых:
Теория Т -
аксиоматизируема, если существуют
-формулы, из которых:
вопрос
Правильный ответ:
выводятся все теоремы
Т и другие
не выводятся все теоремы
Т
выводятся все теоремы
Т и только они Сложность вопроса
73
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Я провалил зачёт, почему я не углядел данный сайт с ответами по интуит в начале сессии
30 дек 2018
Аноним
Экзамен прошёл на 4. лол
04 фев 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
аксиоматизируема, если существуют
-разрядных двоичных чисел:
и носителей R и Q: