Skip to content

Opening book details…

Can I read Теоретическая информатика. Доказательство правильности: учебное пособие on EtoBox?

Теоретическая информатика. Доказательство правильности: учебное пособие by Е. Л. Веретельникова; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, [Фак. автоматики и вычислительной техники] is a nonfiction available to read on EtoBox.

What is Теоретическая информатика. Доказательство правильности: учебное пособие about?

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

Who reads Теоретическая информатика. Доказательство правильности: учебное пособие?

It is typically read by self-directed learners exploring a subject in depth.

Common subject areas: history, science, philosophy, social sciences.

Author
Е. Л. Веретельникова; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, [Фак. автоматики и вычислительной техники]
Publisher
ЭБС Лань
Published
2016
Language
RU
ISBN
9785778228757
Category
nonfiction

More by Е. Л. Веретельникова; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, [Фак. автоматики и вычислительной техники]

Browse all works by Е. Л. Веретельникова; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, [Фак. автоматики и вычислительной техники]

Similar books