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

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

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

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

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

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

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

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

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

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

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

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

Федотова Ольга Анатольевна

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