Автор: Сергей Викторович Зыков
Издательство: "Издательский центр ЮРАЙТ-Восток"
Жанр: Учебная литература
Серия: Бакалавр. Академический курс
isbn: 9785991670852
isbn: 2016
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированых сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET.