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