Новости: Новая книга

Горизонт событий: Событие

Новая книга
Вышел в свет учебник "Введение в теорию программирования" 13 июля 2004 00:00
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.

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

Ссылка в интернет-магазине: https://intuit.ru/goods_store/books/9
Тема: Новая книга