Какое свойство определяет то, что алгоритм всегда обязан иметь одну или несколько выходных величин:
Какое свойство определяет то, что алгоритм должен всегда заканчиваться после выполнения конечного числа шагов:
Какое свойство является дистрибутивностью конъюнкции преобразователя предикатов wp(S,R):
Какое свойство является закон исключенного чуда преобразователя предикатов wp(S,R):
Какое свойство алгоритма предусматривает то, что действия, которые необходимо произвести на каждом шаге, должны быть определены строго и недвусмысленно в каждом возможном случае:
Какой пакет дает возможность программисту работать с целыми и вещественными числами произвольной длины и точности:
Какое свойство требует от алгоритма того, чтобы все операции, которые необходимо произвести в алгоритме, должны быть достаточно простыми, чтобы их в принципе можно было выполнить точно и за конечное время с помощью карандаша и бумаги?
Использование круглых скобок для группировки всегда позволяет:
Отрицательные числа всегда имеют в своем двоичном представлении:
Среди огромного множества всех предикатов особую роль играют те из них, которые всегда являются:
