Гаврилов А.В. Формальные основания функционального программирования

Москва : МИФИ, 2007. — 48 с. Не распознано. Учебное пособие по курсу «Дискретная математика. Системы исчисления высших порядков» дает базовые сведения по теории алгоритмов. Подробно рассматриваются основы построения и использования формальных систем, ламбда-исчисление и комбинаторная логика, основы теории абстрактных машин. Основное внимание уделяется использованию полученных теоретических знаний при решении конкретных алгоритмических задач. На примере категориальной абстрактной машины демонстрируются методы формальной реализации и верификации конструкций языков программирования и объектной модели. Полученные навыки позволят проводить проектирование, анализ и реализацию формальных моделей для конкретных алгоритмических задач, грамотно специфицировать корректное решение.
Предназначено для студентов факультетов «К», «А», «Б» МИФИ, специализирующихся в области прикладной математики и системного программирования.