Электронный каталог

Электронный ресурс
32.973-05я73

Веретельникова, Евгения Леонидовна.
Теоретическая информатика. Доказательство правильности [Электронный ресурс] : Учебное пособие / Е. Л. Веретельникова ; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, Фак. автоматики и вычислительной техники. – Новосибирск : НГТУ, 2016. – 51 с. – Режим доступа : https://e.lanbook.com/book/118249. – Утверждено Редакционно-издательским советом университета в качестве учебного пособия. – Для авторизованных пользователей МПГУ. – Книга из коллекции НГТУ - Информатика. – На рус. яз. – ISBN 978-5-7782-2875-7.

В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов до- казательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.

ББК 32.973-05я73
004.42(075.8)

техника = техника : вычислительная техника : программирование
основной = автоматизация
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано