В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.
Детали книги: |
|
ISBN-13: |
978-3-659-57987-5 |
ISBN-10: |
3659579874 |
EAN: |
9783659579875 |
Язык книги: |
Russian |
By (author) : |
Андрей Миронов |
Количество страниц: |
176 |
Опубликовано: |
15.08.2014 |
Категория: |
Информатика |