Введение в теорию программирования. Функциональный подход
Введение в теорию программирования. Функциональный подход
Авторы: Зыков С.В.
Издательство: Национальный Открытый Университет "ИНТУИТ"
Издание: 2-е изд.
ISBN 5-9556-0009-4; 2016 г.
Кол-во страниц: 152
Предварительный просмотр:
О книге:
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к
программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.