18+
На сайте представлено только описание и выходные данные книги «Теория функциональных программ Андрей Миронов». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Теория функциональных программ Андрей Миронов». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтвердаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях. Это и многое другое вы найдете в книге Теория функциональных программ (Андрей Миронов)
| Полное название книги | Андрей Миронов Теория функциональных программ |
| Тип | Книга |
| Автор | Андрей Миронов |
| Категории | Деловая литература, Книги |
| ISBN | 9783659579875 |
| Возрастное ограничение | 18 |
| Издательство | |
| Год | 2014 |
| Название транслитом | teoriya-funkcionalnyh-programm-andrey-mironov |
| Просмотров | 5 |
| Рейтинг izbe.ru | 0,0 |
Мари Мур
Брук Лин
Конкордия Антарова
Дэниел Киз
Абрахам Вергезе
Аида Синицына
Вадим Зеланд
Сергей Лукьяненко
Роберт Грин
Виктор Дашкевич
Роман Прокофьев
Пауло Коэльо
