Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET.
Informatsionnye tekhnologii segodnya pronizyvayut prakticheski vse sfery deyatelnosti sovremennogo obshchestva, pronikayut v zhizn kazhdogo cheloveka. Preemstvennost pokoleniy elektronnykh tekhnologiy i ustroystv obespechivaetsya s pomoshchyu spetsializirovannykh sred ikh razrabotki, ili programmno-apparatnykh platform, a takzhe sredstv, koordiniruyushchikh ikh vzaimodeystvie, vklyuchaya, prezhde vsego, yazyki programmirovaniya. Osnovnoy zadachey uchebnika yavlyaetsya formirovanie tochki zreniya na sovremennuyu teoriyu i praktiku programmirovaniya. Kniga baziruetsya na tvorcheskom sinteze izbrannykh formalnykh teoriy (lyambda-ischislenie, kombinatornaya logika, teoriya kategoriy i dr.) i unikalnoy tekhnologicheskoy platformy Microsoft .NET.
Information technology now pervade almost all spheres of the modern society, penetrate into the life of each person. The succession of generations of technologies and electronic devices is provided using the specialized environments of their development, or hardware and software platforms and tools, coordinating their interaction, including, in particular, programming languages. The main objective of the textbook is the formation of the point of view of modern theory and practice of programming. The book is based on a creative synthesis of selected formal theories (lambda calculus, combinatory logic, category theory, etc.) and a unique Microsoft technological platform .NET.
Expected