Akademik

- 1) Последовательность действий, выполняемая закономерно, согласно точному предписанию; алгоритм. 2) П.- особым образом оформленная программа, решающая задачу, частную по отношению к другой, более широкой задаче; фундаментальная конструкция алгоритмических языков.

П. является главным средством преодоления сложности программирования путем систёматич. разделения задачи на части. Различают два способа выделения П. при программировании: нисходящий и восходящий. При нисходящем способе П. возникает при однократном разбиении задачи на малое число стандартно сопрягаемых подзадач; тем самым П. идентифицируется до того, как будет построена ее программа. При восходящем способе П. заготавливается впрок, с тем чтобы в дальнейшем быть использованной при решении более широкой задачи как элементарное действие.

Программа, образующая П., обычно содержит свободные переменные, называемые формальными параметрами П. При обращении к выполнению П. формальным параметрам придаются их значения, называемые фактич. параметрами. Описание П. обычно состоит из четырех частей: тела П., т. е. собственно программы, образующей П., имени П., списка формальных параметров и атрибутов - перечня свойств П. Обычно атрибуты характеризуют множества, к-рым принадлежат значения формальных параметров и результатов П. Простейшим видом П. являются процедуры-функции. Для них формальные параметры являются аргументами функции, а обращение к П.-функции, имеющее вид имени П., за к-рым стоит в скобках список фактич. параметров, означает "команду" вычисления значения функции, соответствующего этим параметрам. А. П. Ершов.