Систематизированы теоретические и практические сведения в области современного программирования Рассмотрены основы функционального подхода к программированию на основе метаязыка SMLNET и подходы к объектно-овврсьриентированному и компонентному программированию на языках SML и С# Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ Книга написана на основании курса лекций, читаемого автором на факультете информационнвнъючой безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др) и интернеториентированной технологической платформы Microsoft NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов Каждая глава учебного пособия сопровождается контрольными вопросами Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технвтйцхологий, может быть полезной для опытных программистов Автор Сергей Зыков.