Главная / Языки логического программирования / Какое из утверждений явяляется верным?

Какое из утверждений явяляется верным?

вопрос

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

если 2 формы для любых объектов дают неопределенность, то эти формы эквивалентны
если 2 формы для любых объектов дают неопределенность, то равенство этих форм есть аксиома
введение аксиом в алгебру программ позволяет проводить формальные доказательства корректности любых программ модели Бэкуса
2 формы эквивалентны, если для любых объектов они определены и дают одинаковые значения
алгебра программ является коммутативной
Сложность вопроса
79
Сложность курса: Языки логического программирования
92
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Если бы не опубликованные ответы - я бы не осилил c этими тестами интуит.
20 окт 2019
Аноним
Экзамен сдал на пять с минусом.
23 дек 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.