Институт системного программирования им. В.П. Иванникова РАН


Программная инженерия. Тема 1. Теория программирования.

Авторы

Лаврищева Е.М.

Аннотация

Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказательства их правильности. Дана теория композиции и сборки модулей в сложные системы.
Предназначено для преподавания студентам 1-3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.

Издание

Учебно-методическое пособие. Москва, МФТИ, 2016. 48 с.

Научная группа

Технологии программирования

Все публикации за 2016 год Все публикации