Akademik

- план действий, подлежащих выполнению нек-рым исполнителем, обычно автоматическим устройством, чаще всего ЭВМ; предписание, алгоритм. П. представляется в виде конечной совокупности команд (инструкций), каждая из к-рых побуждает исполнителя выполнить нек-рую элементарную операцию над данными, хранящимися в памяти исполнителя и имена к-рых являются параметрами команды. Автоматизм исполнения достигается тем, что любая текущая команда, кроме завершающей, указывает однозначно на команду П., к-рая должна выполниться после текущей. Особенностью исполнения является наличие команд ветвления (условных переходов), в к-рых выбор одного из нескольких указанных продолжений делается на основании проверки свойств данных, упоминаемых в команде. Другой особенностью является возможность многократного выполнения отдельных команд. Эти особенности приводят к тому, что последовательность выполняемых команд и ее длина при исполнении П. могут варьировать, однозначно определяясь входными данными. Таким образом, П., являясь конечным объектом, побуждает исполнителя закономерно реагировать на потенциально бесконечное разнообразие входных данных. Тем самым П. так же, как и теоремы с их доказательствами, реализуют свойство всеобщности математич. закономерностей.

Математич. абстракции П. изучаются программированием теоретическим. П. важна не только как предписание для ЭВМ, но и как источник операционного знания для человека. Тем самым алгоритмические языки, созданные для записи П., несут также коммуникативную функцию, свойственную естественным языкам.

Составление П. для ЭВМ, или программирование, стало в связи с широким применением ЭВМ новой массовой формой математич. практики.

Лит.: [1] Ершов А. П., "Кибернетика", 1972, JMi 5, с. 95-99; [2] Турский В., Методология программирования, М., 1981. А. П. Ершов.