Введение в теорию программирования. Функциональный подход
Зыков С.В.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Catégories:
Année:
2016
Edition:
2-е
Editeur::
НОУ «Интуит»
Langue:
russian
Pages:
153
ISBN 10:
5955600094
ISBN 13:
9785955600093
Fichier:
PDF, 12.58 MB
IPFS:
,
russian, 2016