| Card | Table | RUSMARC | |
|
|
Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности: учебное пособие / Е. Л. Веретельникова. — Теоретическая информатика. Доказательство правильности, 2025-02-05. — Электрон. дан. (1 файл). — Новосибирск: Новосибирский государственный технический университет, 2016. — 51 с. — Гарантированный срок размещения в ЭБС до 05.02.2025 (автопролонгация). — Книга находится в премиум-версии IPR SMART. — Текст. — электронный. — <URL:https://www.iprbookshop.ru/91545.html>.Record create date: 9/21/2022 Subject: теоретическая информатика; доказательство правильности; математическая индукция; правильность блок-схемы; индуктивное утверждение; язык программирования; правильность программы; структурная индукция; рекурсивная программа UDC: 004.42 LBC: 32.81 Collections: ЭБС "IPRbooks" Allowed Actions: View |
Annotation
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Usage statistics
|
|
Access count: 6
Last 30 days: 0 Detailed usage statistics |