Инструменты, алгоритмы и структуры данных

Какие утверждения верны относительно понятий "правильность" и "корректность"?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

правильность - это понятие, относящееся к программам, корректность - к программистам

только для правильных программ можно говорить об их корректности(Верный ответ)

корректная программа - это программа, которая будучи скомпилированной, работает в полном соответствии с контрактами(Верный ответ)

правильная программа - это программа, прошедшая статическую проверку типов и некоторые другие связанные проверки(Верный ответ)

правильность и корректность программ - это эквивалентные понятия

Похожие вопросы

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

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

Какие утверждения справедливы относительно понятия "отношение"?

Какие утверждения справедливы относительно представления исходных данных задачи?

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

Какие утверждения справедливы относительно выполнения предусловия и постусловия рекурсивного метода?

Какие утверждения справедливы относительно сравнения циклического и рекурсивного варианта вычисления чисел Фибоначчи?

В контракт рекурсивного метода может входить инвариант метода. Какие утверждения справедливы относительно инварианта?

Какие утверждения справедливы относительно имен методов для контейнерных классов, включенных в библиотеки классов EiffelStudio?

Структуры данных, используемые в алгоритме топологической сортировки, работают не с самими элементами множества, а с их номерами. Какие утверждения справедливы относительно возможного типа сортируемых элементов в предлагаемой реализации алгоритма?