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