У полубесконечной призмы основанием является:

Боковая поверхность полубесконечной призмы параллельна:

Любая тавтология является:

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

Основным методом построения инварианта является:

Наименьшей единицей измерения информации является:

Главным в функциональном и логическом программировании является:

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

Математическая модель итерации является слишком общей и:

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

Обычным способом программной реализации итерации является: