Главная /
Мышление, вычисления и искусственный интеллект для школьников /
Если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y, это является признаком ...
Если для каждого утверждения Y
можно вывести одновременно утверждения Y
и не Y
, это является признаком ...
вопрос
Правильный ответ:
неполноты формальной системы
противоречивости формальной системы
полноты формальной системы
непротиворечивости формальной системы
Сложность вопроса
54
Сложность курса: Мышление, вычисления и искусственный интеллект для школьников
67
Оценить вопрос
Комментарии:
Аноним
Зачёт прошёл. Лечу в клуб отмечать победу над тестом интут
25 апр 2019
Другие ответы на вопросы из темы образование интуит.
- # Доказательство возможности создания программы, решающей проблему остановки...
- # Что предполагается при доказательстве нерешения программы остановки?
- # Выберите отличие вычислимого от полувычислимого языка:
- # В чем выражается полнота формальной системы?
- # Вывод, что в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы принадлежит: