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

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

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

Автор: Лаврищева Е.М.

Год издания: 2016

Тема: Из области программирования; Учебное пособие

PDF или ZIP:/books/lavrischeva_1_programming.pdf

Объем: 943 Кб

К списку литературы