Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
это места для подстановки фактических параметров.
В заголовке указываем имя процедуры и формальные параметры в случае их использования....
имена типов;
var имена локальных переменных;
< раздел объявления подпрограмм > ;
begin
&...
Синтаксис записи формального параметра:
var имя праметра : имя типа ;
Служебное слово var может и не...
Список формальных параметров может не использоваться....
Когда нужно вызвать фактический параметр, его подставляют в место формального параметра, причем на то
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
это набор программ, обеспечивающих работу компьютера, в том числе управление ресурсами ЭВМ, взаимосвязь ЭВМ и пользователя, создание копий используемой информации, проверка работоспособности устройств компьютера, выдача справочной информации и другие функции.
задает очередность выполнения операций, указанных в выражении.