В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.
Kitap detayları: |
|
ISBN-13: |
978-3-659-57987-5 |
ISBN-10: |
3659579874 |
EAN: |
9783659579875 |
Kitabın dili: |
Russian |
Yazar: |
Андрей Миронов |
Sayfa sayısı: |
176 |
Yayın tarihi: |
15.08.2014 |
Kategori: |
Bilişim |