RUSSIAN

Элементы современного программирования

By Дмитриева М.В. , Кубенский А.А.

Book information

Publisher
Изд-во С.-Петерб. ун-та
Year
1991
ISBN
5-288-00668-7
Language
russian
Format
DJVU
Filesize
9 MB (9576073 bytes)
Pages
\275
Time added
2017-08-11 20:20:17

Description

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

Similar books