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

Авторы

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

Аннотация

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

Издание

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

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

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

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

Все публикации