Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
удаляет первый элемент последовательности, а затем восстанавливает условие пирамидальности.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
оценивается функцией зависимости объема работы, выполняемой алгоритмом, от размера входных данных.
литера, отличающаяся от буквы, цифры и пробела.