Введение в теорию программирования. Функциональный подход
Зыков С.В.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
카테고리:
년:
2016
판:
2-е
출판사:
НОУ «Интуит»
언어:
russian
페이지:
153
ISBN 10:
5955600094
ISBN 13:
9785955600093
파일:
PDF, 12.58 MB
IPFS:
,
russian, 2016