Программирование. Учебник и практикум (Зыков С. В.) 2022

Автор: Зыков С. В.

Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей курса является формирование точки зрения на современную теорию и практику программирования.

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