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