Главная / Языки и исчисления / Для всякой формулы F сигнатуры [формула] существует бескванторная формула, задающая F на R - это:

Для всякой формулы F сигнатуры существует бескванторная формула, задающая F на R - это:

вопрос

Правильный ответ:

теорема Тарского - Зайденберга

теорема Гегеля

аксиома исчисления предикатов

Сложность вопроса

Сложность курса: Языки и исчисления

Оценить вопрос

Очень сложно

Сложно

Средне

Легко

Очень легко

Комментарии:

Аноним

Это очень простецкий вопрос интуит.

05 фев 2017

Аноним

Если бы не данные подсказки - я бы не смог решить c этими тестами интуит.

14 янв 2017

Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.