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