Разработка программного обеспечения
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие, С. В. Яхонтов
Страниц: 146
Год издания: 2014
Язык: Русский
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хо ...
Жемчужины проектирования алгоритмов. Функциональный подход, Ричард Бёрд
Страниц: 330
Год издания: 2015
Язык: Русский
В книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав ...
Объектно-ориентированное программирование с примерами на С#. Учебное пособие, П. Б. Хорев
Страниц: 200
Год издания: 2016
Язык: Русский
В учебном пособии представлены основы объектно-ориентированного программирования и его особенности применительно к языку С#. Подробно рассмотрены классы потокового ввода-вывода, контейнерные классы дл ...
Программирование. Функциональный подход. Учебник и практикум, С. В. Зыков
Страниц: 166
Год издания: 2016
Язык: Русский
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств ...
Символический искусственный интеллект. Математические основы представления знаний. Учебное пособие, Ф. А. Новиков
Страниц: 280
Год издания: 2016
Язык: Русский
Учебное пособие содержит исчерпывающее, но в то же время лаконичное изложение основных способов представления знаний в компьютере и методов решения прикладных задач символического искусственного интел ...