Название: Элементы современного программирования Автор: Дмитриева М.В., Кубенский А.А. Издательство: СПб.: Изд-во С.-Петерб. ун-та Год: 1991 Страниц: 272 ISBN: 5-288-00668-7 Формат: DJVU Размер: 10 Мб Язык: русский
Учебное пособие представляет собой курс по основам программирования с использованием элементов анализа и доказательства свойств программ. На примере языка Паскаль оно знакомит с понятиями и приемами современного программирования в традиционных языках высокого уровня, способами построения корректных программ, элементами доказательства корректности уже построенных программ. Изложение сопровождается множеством примеров и задач для самостоятельного решения. Книга предназначена для студентов младших курсов вузов и техникумов, учащихся старших классов средних школ, слушателей курсов повышения квалификации в области информатики, а также начинающих программистов.
Скачать Дмитриева М.В., Кубенский А.А. - Элементы современного программирования
|