| Карточка | Таблица | RUSMARC | |
|
|
Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности: учебное пособие / Е. Л. Веретельникова. — Теоретическая информатика. Доказательство правильности, 2025-02-05. — Электрон. дан. (1 файл). — Новосибирск: Новосибирский государственный технический университет, 2016. — 51 с. — Гарантированный срок размещения в ЭБС до 05.02.2025 (автопролонгация). — Книга находится в премиум-версии IPR SMART. — Текст. — электронный. — <URL:https://www.iprbookshop.ru/91545.html>.Дата создания записи: 21.09.2022 Тематика: теоретическая информатика; доказательство правильности; математическая индукция; правильность блок-схемы; индуктивное утверждение; язык программирования; правильность программы; структурная индукция; рекурсивная программа УДК: 004.42 ББК: 32.81 Коллекции: ЭБС "IPRbooks" Разрешенные действия: Посмотреть |
Аннотация
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Статистика использования
|
|
Количество обращений: 6
За последние 30 дней: 0 Подробная статистика |