Вид документа : Однотомное издание Шифр издания : 91545 Автор(ы) : Веретельникова Е. Л. Заглавие : Теоретическая информатика. Доказательство правильности : Учебное пособие Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016 Колич.характеристики :51 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-7782-2875-7: Б.ц. УДК : 004.42 ББК : 32.81 Ключевые слова (''Своб.индексиров.''): доказательство правильности--индуктивное утверждение--математическая индукция--правильность блок-схемы--правильность программы--рекурсивная программа--структурная индукция--теоретическая информатика--язык программирования Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ. |