Введение в теорию программирования. Функциональный подход

Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

Название: Введение в теорию программирования. Функциональный подход
Автор: Зыков С. В.
Издательство: НОУ «Интуит»
Год: 2016
Страниц: 152
Формат: PDF