Informatcionnye tekhnologii segodnia pronizyvaiut prakticheski vse sfery deiatelnosti sovremennogo obshchestva, pronikaiut v zhizn kazhdogo cheloveka. Preemstvennost pokolenii elektronnykh tekhnologii i ustroistv obespechivaetsia s pomoshchiu spetcializirovannykh sred ikh razrabotki, ili programmno-apparatnykh platform, a takzhe sredstv, koordiniruiushchikh ikh vzaimodeistvie, vkliuchaia, prezhde vsego, iazyki programmirovaniia. Osnovnoi zadachei uchebnika iavliaetsia formirovanie tochki zreniia na sovremennuiu teoriiu i praktiku programmirovaniia. Kniga baziruetsia na tvorcheskom sinteze izbrannykh formalnykh teorii (liambda-ischislenie, kombinatornaia logika, teoriia kategorii i dr.) i unikalnoi tekhnologicheskoi platformy Microsoft .NET.