Андрей Миронов
Теория функциональных программ
Издательство: LAP Lambert Academic Publishing, 2014 г.
9783659579875
Книгопечатная продукция
Объем: 176 стр.
В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.
Посмотрите также...
Управление качеством
В пособии рассмотрены основные вопросы курса "Управление качеством", его ключевые термины и понятия: качество как экономическая категория, методы его анализа, оценки и измерения, методологические основы управления качеством, планирование и ......
Прагматика сотрудничества. Технологии сотрудничества в менеджменте
Сотрудничество - не идеологическая и не моральная категория, а практический инструмент, технология совместного достижения целей. Любая организация, как и любая совместная деятельность, строится на сотрудничестве и существует благодаря ......