Элементы современного программирования А. А. Кубенский, М. В. Дмитриева

Учебное пособие представляет собой курс по основам программирования с использованием элементов анализа и доказательства свойств программ. На примере языка Паскаль оно знакомит с понятиями и приемами современного программирования в традиционных языках высокого уровня, способами построения коррекционных программ, элементами доказательства корректности уже построенных программ. Это и многое другое вы найдете в книге Элементы современного программирования (М. В. Дмитриева, А. А. Кубенский)