Поиск :
Личный кабинет :
Электронный каталог: Веретельникова, Е. Л. - Теоретическая информатика: доказательство правильности
Веретельникова, Е. Л. - Теоретическая информатика: доказательство правильности
Нет экз.
Электронный ресурс
Автор: Веретельникова, Е. Л.
Теоретическая информатика: доказательство правильности : учебное пособие
Издательство: Новосибирский государственный технический университет, 2016 г.
ISBN 978-5-7782-2875-7
Автор: Веретельникова, Е. Л.
Теоретическая информатика: доказательство правильности : учебное пособие
Издательство: Новосибирский государственный технический университет, 2016 г.
ISBN 978-5-7782-2875-7
На полку
Электронный ресурс
Веретельникова, Е. Л.
Теоретическая информатика: доказательство правильности : учебное пособие. – Новосибирск : Новосибирский государственный технический университет, 2016. – 51 с. : ил., табл. – URL: https://biblioclub.ru/index.php?page=book&id=575664. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-7782-2875-7.
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы.Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
004.42(075.8)
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы
Веретельникова, Е. Л.
Теоретическая информатика: доказательство правильности : учебное пособие. – Новосибирск : Новосибирский государственный технический университет, 2016. – 51 с. : ил., табл. – URL: https://biblioclub.ru/index.php?page=book&id=575664. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-7782-2875-7.
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы.Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
004.42(075.8)
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы