Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 12,58 МБ
  • добавлен 17 ноября 2016 г.
Зыков С.В. Введение в теорию программирования. Функциональный подход
2-е издание. — М.: Интуит, 2016. — 152 c.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Похожие разделы