Основы информатики и программирования

Спецификация задачи на итерацию имеет вид:

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

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

"S0;while(e);"

{Q}"S0;while(e)S;"{R}(Верный ответ)

{Q}"S0;while S;"{Q,R}

{Q}"S0;while(e)S;"

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

Так как спецификация программы является предикатом, то она может быть:

Спецификация программы является единственным корректным способом:

Следующая спецификация:{i=0}"i++;"{i=j}:

Следующая спецификация:{i=0}"i++;"{i=0}:

Следующая спецификация:{i=0}"i++;"{i=1}:

На практике постановка задачи:

Любая корректная постановка задачи содержит:

Основные задачи конструктора заключаются в следующем:

Программа S является правильной при заданных Q и R, если спецификация {Q} S {R} является:

К какому классу относятся почти все практические задачи: