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