0+Теоретическая информатика. Доказательство правильности
Где читать или купить
ЛитРес
Реклама
85 ₽
эл. книга
Читать у партнёра
«Теоретическая информатика. Доказательство правильности» у партнёра ЛитРес — реклама, внешняя ссылка
Описание
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
О книге
| Издательство | Новосибирский государственный технический университет |
|---|---|
| Год издания | 2018 |
| Язык | ru |
| Форматы | |
| Возрастное ограничение | 0 |
| ISBN | 978-5-7782-2875-7 |
Похожие книги
12+Учебная книга по Русской истории
0+Лекарственная устойчивость ВИЧ
12+Формирование коммуникативно-речевых способностей у детей с функциональными нарушениями зрения
12+Выразительное чтение в вузе и школе
0+Руководство к практическим занятиям по зоологии беспозвоночных
12+Управление дошкольной образовательной организацией
Частые вопросы
О чём книга «Теоретическая информатика. Доказательство правильности»?
«Теоретическая информатика. Доказательство правильности» — это учебники и пособия для вузов. В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал…
Где читать или купить «Теоретическая информатика. Доказательство правильности»?
Книгу можно читать или купить у партнёра ЛитРес (эл. книга). Цена у партнёра — 85 ₽. Переход — по кнопке в блоке «Где читать или купить».
Что почитать похожее на «Теоретическая информатика. Доказательство правильности»?
Близкие по теме книги: «Учебная книга по Русской истории», «Лекарственная устойчивость ВИЧ», «Формирование коммуникативно-речевых способностей у детей с функциональными нарушениями зрения». Полный список — в блоке «Похожие книги».