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

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

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Работа журналиста в условиях крупной техногенной катастрофы
Работа журналиста в условиях крупной техногенной катастрофы
Автоклавная переработка полиметаллических концентратов
Автоклавная переработка полиметаллических концентратов
Техника пищевых производств малых предприятий. Производство пищевых продуктов растительного происхождения. Учебник, С. Т. Антипов, А. И. Ключников, И. С. Моисеева, В. А. Панфилов
Техника пищевых производств малых предприятий. Производство пищевых продуктов растительного происхождения. Учебник, С. Т. Антипов, А. И. Ключников, И. С. Моисеева, В. А. Панфилов

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com