В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.
Book Details: |
|
ISBN-13: |
978-3-659-57987-5 |
ISBN-10: |
3659579874 |
EAN: |
9783659579875 |
Book language: |
Russian |
By (author) : |
Андрей Миронов |
Number of pages: |
176 |
Published on: |
2014-08-15 |
Category: |
Informatics |