Е. Л. Веретельникова — Теоретическая информатика. Доказательство правильности, краткое содержание
В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Теоретическая информатика. Доказательство правильности»
На Книгизм представлено произведение «Теоретическая информатика. Доказательство правильности» — книга автора Е. Л. Веретельникова. Книга относится к жанру «Учебная литература» . Полный текст доступен бесплатно — для чтения онлайн в браузере или скачивания в формате fb2.
🏷️ Жанры книги
Произведение «Теоретическая информатика. Доказательство правильности» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Учебная литература»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Теоретическая информатика. Доказательство правильности» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Теоретическая информатика. Доказательство правильности» онлайн без скачивания?
Да, полная версия произведения автора Е. Л. Веретельникова доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Теоретическая информатика. Доказательство правильности»?
Книга относится к жанру «Учебная литература».
📲 Как читать книгу на Книгизм
Книга «Теоретическая информатика. Доказательство правильности» автора Е. Л. Веретельникова доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.