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


 

База данных: Каталог ЭБС IPR SMART

Страница 1, Результатов: 1

Отмеченные записи: 0

91545
Веретельникова, Е. Л.
    Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 32.81

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

Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности [Электронный ресурс] : Учебное пособие / Веретельникова Е. Л., 2016. - 51 с.

1.

Веретельникова, Е. Л. Теоретическая информатика. Доказательство правильности [Электронный ресурс] : Учебное пособие / Веретельникова Е. Л., 2016. - 51 с.


91545
Веретельникова, Е. Л.
    Теоретическая информатика. Доказательство правильности : учебное пособие / Веретельникова Е. Л. - Новосибирск : Новосибирский государственный технический университет, 2016. - 51 с. - ISBN 978-5-7782-2875-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 32.81

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

Страница 1, Результатов: 1

 

Все поступления за 
Или выберите интересующий месяц