Элементы современного программирования
Дмитриева М.В., Кубенский А.А.
Учебное пособие представляет собой курс по основам программирования с использованием элементов анализа и доказательства свойств программ. На примере языка Паскаль оно знакомит с понятиями и приемами современного программирования в традиционных языках высокого уровня, способами построения корректных программ, элементами доказательства корректности уже построенных программ. Изложение сопровождается множеством примеров и задач для самостоятельного решения.
Книга предназначена для студентов младших курсов вузов и техникумов, учащихся старших классов средних школ, слушателей курсов повышения квалификации в области информатики, а также начинающих программистов.
Книга предназначена для студентов младших курсов вузов и техникумов, учащихся старших классов средних школ, слушателей курсов повышения квалификации в области информатики, а также начинающих программистов.
साल:
1991
प्रकाशन:
Изд-во С.-Петерб. ун-та
भाषा:
russian
ISBN 10:
5288006687
ISBN 13:
9785288006685
फ़ाइल:
DJVU, 9.13 MB
IPFS:
,
russian, 1991