Теоретическая информатика. Доказательство правильности

Теоретическая информатика. Доказательство правильности

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд 4,30
всего оценок: 4
Загрузка...
Универсальный рейтинг: 2.581601 Автор: Е. Л. Веретельникова Объем: 51 стр.

Жанры:

учебники и пособия для вузов Е. Л. Веретельникова

Читать онлайн:

Страница 1 из ?
Загрузка книги...
Страница 1 из ?

Описание:

Книга автора Е. Л. Веретельникова. Относится к жанрам: . Объем: 51 стр.. Дата написания: 2016. Возрастное ограничение: 0+.

Вы можете в один клик скачать книгу ‘Теоретическая информатика. Доказательство правильности’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Теоретическая информатика. Доказательство правильности’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.

Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.

Аннотация:

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

Возрастное ограничение: 0+ Дата написания: 2016 Правообладатель: Новосибирский государственный технический университет

Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

Добавить комментарий

Последние комментарии