Книги
учебники и пособия для вузов
Е. Л. Веретельникова
📚 Теоретическая информатика. Доказательство правильности

Читайте только на ЛитРес

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

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

текстPDF

Объем 51 страница

2016 год

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

PDF

отзыв

Читайте только на ЛитРес

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

85 ₽

Подарите скидку 10%

Посоветуйте эту книгу и получите 8,51 ₽ с покупки её другом.

Подробнее

Автор

Е. Л. Веретельникова

О книге

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

Жанры и теги

Учебники и пособия для вузов

Отзывы

Смотреть все отзывы

Сначала популярные

marmelad-club

13 ноября 2018

Отличный вариант для начинающих. Рекомендую, но с оговоркой, что следующая работа будет еще понятней. Автору – респект!!! Спасибо, что поднимаете такую трудную тему!

Пожаловаться на отзыв

Поделиться отзывом

Оставьте отзыв

Войдите, чтобы оценить книгу и оставить отзыв

Книга Е. Л. Веретельниковой «Теоретическая информатика. Доказательство правильности» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.

Возрастное ограничение:

Дата выхода на Литрес:

25 апреля 2018

Дата написания:

2016

Объем:

51 стр.

ISBN:

978-5-7782-2875-7

Общий размер:

1.6 МБ

Общее кол-во страниц: