База ответов ИНТУИТ

Языки логического программирования

<<- Назад к вопросам

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

(Отметьте один правильный вариант ответа.)

Варианты ответа
2 формы эквивалентны, если для любых объектов они определены и дают одинаковые значения
введение аксиом в алгебру программ позволяет проводить формальные доказательства корректности любых программ модели Бэкуса(Верный ответ)
если 2 формы для любых объектов дают неопределенность, то равенство этих форм есть аксиома
если 2 формы для любых объектов дают неопределенность, то эти формы эквивалентны
алгебра программ является коммутативной
Похожие вопросы
Какое из утверждений является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-5 является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-5 является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-2 является верным?
Какое утверждение для Рефала-5 является верным?