АвторыВеретельникова Е.Л.
Теоретическая информатика. Доказательство правильности
ИздательствоНовосибирский ГТУ
Тип изданияучебное пособие
Год издания2016
Скопировать биб. запись
Для каталогаВеретельникова, Е. Л. Теоретическая информатика. Доказательство правильности : учеб. пособие / Веретельникова Е. Л. - Новосибирск : Изд-во НГТУ, 2016. - 51 с. - ISBN 978-5-7782-2875-7. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785778228757.html (дата обращения: 26.12.2024). - Режим доступа : по подписке.
АннотацияВ работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.