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