Теория функциональных программ

Описание


В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.

Рейтинг издания


Теория функциональных программ
Нет оценки

Интернет-магазины


My-Shop

отсутствует
Лабиринт

отсутствует
Ozon.ru купить
Читай-город отсутствует
Book24 отсутствует

Издательство и печать


Издание "Теория функциональных программ" выпущено печатным издательством "LAP Lambert Academic Publishing" в 2014 году. Издание состоит из 176 стр. Найти в наличии и купить книгу можно в одном интернет-магазине.

Теория функциональных программ

Страниц: 
176
Год издания: 
2014

Похожие издания:


Информационные технологии государственного регулирования экономики


Многокритериальная оценка привлекательности отраслей экономики


Эссе по проблемам волнового развития экономики


Экономический анализ


Исследование и совершенствование методики формирования бренда города


Региональная налоговая система