Choice of metadata IPR SMART
Page 1, Results: 1
Отмеченные записи: 0
1.
More
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.81
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Веретельникова, Е. Л.
Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
доказательство правильности -- индуктивное утверждение -- математическая индукция -- правильность блок-схемы -- правильность программы -- рекурсивная программа -- структурная индукция -- теоретическая информатика -- язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Page 1, Results: 1