Теоретическая информатика. Доказательство правильности - Евгения Веретельникова
| Автор: | Евгения Веретельникова |
| Издательство: | НГТУ |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 2016 |
| isbn: | 978-5-7782-2875-7 |
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.