Поиск :
Личный кабинет :
Электронный каталог: Зыков, С. В. - Введение в теорию программирования. Функциональный подход
Зыков, С. В. - Введение в теорию программирования. Функциональный подход
Нет экз.
Электронный ресурс
Автор: Зыков, С. В.
Введение в теорию программирования. Функциональный подход
Серия: Основы информационных технологий
Издательство: Национальный Открытый Университет «ИНТУИТ», 2016 г.
ISBN 5-9556-0009-4
Автор: Зыков, С. В.
Введение в теорию программирования. Функциональный подход
Серия: Основы информационных технологий
Издательство: Национальный Открытый Университет «ИНТУИТ», 2016 г.
ISBN 5-9556-0009-4
На полку
Электронный ресурс
13
Зыков, С. В.
Введение в теорию программирования. Функциональный подход. – 2-е изд., испр. – Москва : Национальный Открытый Университет «ИНТУИТ», 2016. – 153 с. – (Основы информационных технологий) . – URL: http://biblioclub.ru/index.php?page=book&id=429119 . – На рус. яз. – ISBN 5-9556-0009-4.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
ББК 13
32.973-018.1fl73-2З-96
13
Зыков, С. В.
Введение в теорию программирования. Функциональный подход. – 2-е изд., испр. – Москва : Национальный Открытый Университет «ИНТУИТ», 2016. – 153 с. – (Основы информационных технологий) . – URL: http://biblioclub.ru/index.php?page=book&id=429119 . – На рус. яз. – ISBN 5-9556-0009-4.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
ББК 13
32.973-018.1fl73-2З-96