програмування, программирование, programming ; машина електронна обчислювальна цифрова, ЦЕОМ, машина электронная вычислительная цифровая, ЦЭВМ ; елемент ЕОМ, элемент ЭВМ

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

Книга предназначена для студентов младших курсов вузов и техникумов, учащихся старших классов средних школ, слушателей курсов повышения квалификации в области информатики.

• ББК науковий // Електронні обчислювальні машини та пристрої дискретної дії. Цифрові ЕОМ