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

Описание


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

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


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

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

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

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

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

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

Проблемы развития экономики Узбекистана. Исследования путей развития отраслей экономики
Сборник статьей посвящен исследованию проблем развития экономики Узбекистана и различных ее отраслей. В сборник включены статьи видных ученых экономистов и молодых исследователей Узбекистана.

Феномен системной экономической трансформации: от теории к практике

Книга посвящена исследованию проблемы системной экономической трансформации с учетом опыта трансформации экономики современной России.

Клиентоориентирован-  ность персонала

Представлены теоретические положения формирования и оценки клиентоориентированности как базовой компетенции персонала, определяющей эффективность построения и поддержания взаимоотношений с клиентами.

Оздоровление пользователей информационных технологий

В монографии освещена проблема компенсации возможных негативных последствий психолого-педагогического и медицинского характера для здоровья пользователя, связанных с применением информационных и коммуникационных технолог

Оптимизация структуры центров обслуживания вызовов

Call-центры эволюционируют стремительно.

Оценка ликвидности баланса, платежеспособности организации

Условия рыночной экономики требует от предприятий повышения эффективности производства, конкурентоспособности продукции и услуг на основе внедрения достижений научно-технического прогресса, эффективных форм хозяйствовани