Электронная книга: Е. Л. Веретельникова «Теоретическая информатика. Доказательство правильности»

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

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

Издательство: "Новосибирский государственный технический университет" (2016)

ISBN: 978-5-7782-2875-7

электронная книга

Купить за 85 руб и скачать на Litres

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Теоретическая информатика. Теория сетей Петри и моделирование системВ работе изложены теоретический материал и практические задания для освоения основных принципов… — Новосибирский государственный технический университет, электронная книга Подробнее...2018130электронная книга

См. также в других словарях:

  • Театр драмы —       имени А. С. Пушкина (площадь Островского, 2), ведёт историю с 1756 (см. Русский для представления трагедий и комедий театр). С 1832 называется Александрийским театром, с 1919 академический. В 1920 переименован в Петроградский… …   Санкт-Петербург (энциклопедия)

  • УЛИЦЫ РАЗБИТЫХ ФОНАРЕЙ — «УЛИЦЫ РАЗБИТЫХ ФОНАРЕЙ», Россия, РУССКОЕ ВИДЕО ФИЛЬМ, 1997 1999, цв. Детективный сериал. По произведениям Андрея Кивинова. В ролях: Алексей Нилов (см. НИЛОВ Алексей Геннадьевич), Александр Лыков (см. ЛЫКОВ Александр Анатольевич), Александр… …   Энциклопедия кино

  • Александринский театр — Координаты: 59°55′54.39″ с. ш. 30°20′10.73″ в. д. / 59.931775° с. ш. 30.336314° в. д.  …   Википедия

  • Российский государственный академический театр драмы им. А. С. Пушкина — Александринский театр Фотолитография конца XIX века Прежние названия Русский для представлений трагедий и комедий театр Основан 1756 Художественный руководитель Валерий Фокин Сайт www.alexandrinsky.ru …   Википедия

  • Российский театр драмы имени А. С. Пушкина — Александринский театр Фотолитография конца XIX века Прежние названия Русский для представлений трагедий и комедий театр Основан 1756 Художественный руководитель Валерий Фокин Сайт www.alexandrinsky.ru …   Википедия

  • Ставропольский театр драмы — Координаты: 45°02′34.9″ с. ш. 41°57′57.9″ в. д. / 45.043028° с. ш. 41.966083° в. д.  …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»