Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Императивное программирование

Императивное программирование (императивный стиль программирования) — это парадигма программирования, которая описывает процесс работы ЭВМ (план вычислений) в виде последовательности инструкций, изменяющих состояние программы. Императивная программа очень похожа на приказы, выражаемые повелительным наклонением в естественных языках, то есть это последовательность команд и логических переходов, которые должен выполнить компьютер.

Основные конструкции:

• Манипулирование ячейками памяти.
• Оператор присваивания.
• Явные операторы передачи управления.
• Циклы, условный оператор.

Императивный стиль программирования основан на фон неймановской модели вычислений. Методология императивного программирования характеризуется принципом последовательного изменения состояния вычислителя пошаговым образом. При этом управление изменениями полностью определено и полностью контролируемо.

Для решения задачи с использованием императивного стиля программирования необходимо: вначале создать модель вычислений в некоторой формальной системе, а затем записать ее на императивном языке. В качестве математической модели вычислений императивное программирование использует машину Тьюринга-Поста — абстрактное вычислительное устройство, предложенное на заре компьютерной эры для описания алгоритмов и решения проблемы вычислимости.

Ключевые термины, связанные с термином "императивное программирование":

1. Ассемблер
2. Императивный язык
3. Программирование структурное
4. Процедурный язык

Литература

Основная:

1. Цилькер Б.Я. Организация ЭВМ и систем : Учебник для вузов / Б.Я. Цилькер, С.А. Орлов. - 2-е изд. - СПб.: Питер, 2011. - 688 с. - ISBN 978-5-49807-862-5.

Ключевые термины (головные):  парадигма программирования;   Модель вычислений фон Неймана;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН