Поиск :
Личный кабинет :
Электронный каталог: Веретельникова, Евгения Леонидовна - Теоретическая информатика. Доказательство правильности
Веретельникова, Евгения Леонидовна - Теоретическая информатика. Доказательство правильности
Нет экз.
Электронный ресурс
Автор: Веретельникова, Евгения Леонидовна
Теоретическая информатика. Доказательство правильности : Учебное пособие
Издательство: НГТУ, 2016 г.
ISBN 978-5-7782-2875-7
Автор: Веретельникова, Евгения Леонидовна
Теоретическая информатика. Доказательство правильности : Учебное пособие
Издательство: НГТУ, 2016 г.
ISBN 978-5-7782-2875-7
Электронный ресурс
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)
техника = техника : вычислительная техника : программирование
основной = автоматизация
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано
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)
техника = техника : вычислительная техника : программирование
основной = автоматизация
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
основной = Лань (СЭБ) сделано