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