Каталог
Введение в теорию программирования

Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхзда к программированию на основе метаязыка SML.NET.
Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий
Зыков С.В. Введение в теорию программирования / С.В. Зыков. - Москва : Национальный Открытый Университет ИНТУИТ, 2024. - 152 с. - ISBN intuit139. - URL: http://new.ibooks.ru/bookshelf/394171/reading (дата обращения: 17.07.2025). - Текст: электронный.