Книга "Теоретическая информатика. Доказательство правильности" представляет собой руководство по изучению основных принципов и методов доказательства правильности программ, записанных на языках высокого уровня или представленных в виде блок-схем. В ней рассматривается теоретический материал и приводится множество примеров, которые помогут читателю лучше усвоить материал. Книга разбита на четыре основные темы, каждая из которых изучается за одно-два аудиторных занятия. Кроме того, в каждой теме предлагаются упражнения для самостоятельной работы и контрольные вопросы. Эта книга будет полезна студентам, изучающим программирование, а также всем, кто интересуется вопросами доказательства правильности программ.
#учебники и пособия для вузов
