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

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

Издатель: 

Год издания: 

2014 г.

Страниц: 

176 стр.

Рейтинг

Нет оценок

Описание

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

Оформление издания

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

 

Рекомендуем также

Устойчивые экономико-математические методы и модели

Для обоснованного практического применения математических моделей управления предприятиями и основанных на них методов должна быть изучена устойчивость выводов по отношению к допустимым отклонениям исходных данных и пред

РАЗРАБОТКА СИСТЕМЫ ПЛАНИРОВАНИЯ ВОЗВРАТНОГО ЛИЗИНГА

- уточнено понятие возвратного лизинга как совокупности взаимоотношений между двумя и более участниками, при которой объект лизинга до отношений принадлежит предприятию, существующую благодаря экономически оправданной во

Международные IPO, проведенные российскими компаниями

Одним из наиболее популярных способов увеличить свои финансовые возможности среди российский компаний стала процедура IPO (Initial Public Offering) - первичное публичное размещение акций.

Управление ассортиментом

В данной работе предлагается повысить эффективность управления производством и сбытом на предприятиях пищевой промышленности оптимизируя ассортиментную стратегию и тактику, используя подходы теории управления, маркетинга

Книгу "Теория функциональных программ" можно найти в одном из онлайн-магазинов, представленных на сайте Kniga-managera.ru. Благодаря удобным карточкам книг и других изданий, вы легко можете сравнить цены на нужные товары и определить их наличие в магазинах, экономя время и выбирая наиболее дешевые варианты. Проверено на практике, что цена на некоторые книги может различаться в 2 раза и более в зависимости от магазина. Так что не стоит торопиться с покупкой не учитывая всю совокупность важных факторов. Купить книгу "Теория функциональных программ" можно в большинстве городов нашей страны, включая Москву, Санкт-Петербург, Новосибирск, Омск, Екатеринбург, Казань, Челябинск, Нижний Новгород, Тюмень и многие другие.