Курс лекций. - М.: Учебный Центр безопасности информационных
технологий Microsoft МИФИ (ГУ), 2003. Курс основан на творческом
синтезе избранных формальных теорий (ламбда-исчисление,
комбинаторная логика, теория категорий и др. ) и уникальной
технологической платформы Microsoft.NET, обеспечивающей практически
прозрачную интеграцию кода на языках программирования различных
типов. Первая часть курса посвящена основам функционального подхода
к программированию на основе метаязыка SML.NET. Курс будет полезен
как для опытных программистов, так и для студентов, аспирантов и
исследователей, специализирующихся в области компьютерных наук и
информационных технологий.
Объектно-ориентированный подход к программированию
Платформа .NET и ее применение для ООП
Основные понятия языка программирования C#
Семантика основных конструкций языка C#
Основные понятия ООП: объекты, классы и методы
Теория типов и типизация в .NET
Концепция наследования и ее реализация в языке C#
Концепция инкапсуляции и ее реализация в языке C#
Концепция полиморфизма и ее реализация в языке C#
Расширенные возможности полиморфизма в языке C#
Событийно управляемое программирование в .NET
Компонентное программирование в .NET
Объектно-ориентированный подход к программированию
Платформа .NET и ее применение для ООП
Основные понятия языка программирования C#
Семантика основных конструкций языка C#
Основные понятия ООП: объекты, классы и методы
Теория типов и типизация в .NET
Концепция наследования и ее реализация в языке C#
Концепция инкапсуляции и ее реализация в языке C#
Концепция полиморфизма и ее реализация в языке C#
Расширенные возможности полиморфизма в языке C#
Событийно управляемое программирование в .NET
Компонентное программирование в .NET