Укажите истинные высказывания
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
Для доказательства полной (тотальной) корректности необходимо доказать завершаемость программы на всех допустимых входах(Верный ответ)
Если доказана условная корректность, то тем самым доказана и завершаемость программы.
Доказательства завершаемости и условной корректности - это два независимых доказательства(Верный ответ)
Для доказательства полной (тотальной) корректности необходимо доказать корректность при условии завершаемости программы на всех допустимых входах(Верный ответ)
