Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET.
Informatsionnye tekhnologii segodnja pronizyvajut prakticheski vse sfery dejatelnosti sovremennogo obschestva, pronikajut v zhizn kazhdogo cheloveka. Preemstvennost pokolenij elektronnykh tekhnologij i ustrojstv obespechivaetsja s pomoschju spetsializirovannykh sred ikh razrabotki, ili programmno-apparatnykh platform, a takzhe sredstv, koordinirujuschikh ikh vzaimodejstvie, vkljuchaja, prezhde vsego, jazyki programmirovanija. Osnovnoj zadachej uchebnika javljaetsja formirovanie tochki zrenija na sovremennuju teoriju i praktiku programmirovanija. Kniga baziruetsja na tvorcheskom sinteze izbrannykh formalnykh teorij (ljambda-ischislenie, kombinatornaja logika, teorija kategorij i dr.) i unikalnoj tekhnologicheskoj platformy Microsoft .NET.
