INTUIT.ru: Учебный курс - Введение в теорию программирования. Объектно-ориентированный подход

поддержка курса Введение в теорию программирования. Объектно-ориентированный подход
Автор: С.В. Зыков

?	Уровень: для начинающих \|\| Статус: бесплатный \|\| Опубликован: 19.08.2004 Рейтинг: 4.18 \|\| Популярность: 5 \|\| Студентов: 882/111

Поддержка

Курс создан при финансовой поддержке компании
Microsoft Research, Ltd.

Информация о курсе
Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.).
Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.

Цель
Сравнительный анализ функционального и объектно-ориентированного подходов к программированию на основе универсальной среды вычислений.

Предварительные знания
Основы теории программирования (ламбда-исчисление, комбинаторная логика, теория вычислений Д.Скотта, абстрактные машины) и практического программирования на языке SML (синтаксис, семантика, типизация, рекурсия).

Предварительные курсы

Введение в теорию программирования. Функциональный подход

Диплом

сертификат

(ИНТУИТ)

Записаться на курс

экзамен | экстернат | диплом Лекции

Вступительная лекция

Обзор истории развития научных направлений, сформировавших теоретическое основание курса.

Объектно-ориентированный подход к программированию

Лекция посвящена роли и месту объектно-ориентированного подхода к программированию в общей классификации, его достоинствам и недостаткам, неформальному определению важнейших концепций объектно-ориентированного программирования.

Платформа.NET и ее применение для объектно-ориентированного подхода к программированию

В лекции рассматриваются вопросы, относящиеся к идеологии, технологии и обзору практических возможностей создания программных систем на основе Microsoft .NET – подхода к проектированию и реализации программного обеспечения. При этом подход .NET обсуждается в приложении к специфике объектно-ориентированного подхода к программированию.

Основные понятия языка программирования C#

В лекции обсуждаются вопросы, относящиеся к понятийному аппарату, истории развития, выразительным возможностям синтаксиса и особенностям реализации языка C# в сравнении с другими объектно-ориентированными языками программирования.

Разработка элементарных программ на языке программирования C#

Цель: знакомство с базовыми особенностями языка программирования C# и разработки программ с использованием среды Microsoft Visual Studio .NET

Семантика основных конструкций языка программирования C#

В данной лекции будут рассмотрены вопросы, относящиеся к понятийному аппарату и выразительным возможностям семантического представления формальных теорий и языков программирования. При этом основное внимание будет уделено сопоставлению семантики языков объектно-ориентированного и функционального программирования. В качестве примеров языков программирования будут выступать уже знакомый нам по предыдущему курсу язык SML и изучаемый нами язык C#.

Основные понятия объектно-ориентированного подхода: объекты, классы и методы

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, методологии и практике моделирования основных элементов объектно-ориентированного подхода к программированию посредством двухуровневой концептуализации. Особенности практической реализации основных аспектов концепции ООП описаны на примере языка программирования C#.

Объекты и классы

Цель: ознакомление с основой объектного подхода в языке C#, созданием объектов, классов и механизмом наследования.

Теория типов и типизация в .NET

В данной лекции будут рассмотрены вопросы, относящиеся к истории развития, идеологии, математическому основанию и обзору возможностей типизированной комбинаторной логики и теории типов - математической формализации, моделирующей типы выражений в языках программирования.

Концепция наследования и ее реализация в языке C#

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей наследования - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.

10.

Концепция инкапсуляции и ее реализация в языке C#

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей инкапсуляции - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.

11.

Концепция полиморфизма и ее реализация в языке C#

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.

12.

Полиморфные методы

Цель: Ознакомление с особенностями создания и применения полиморфных методов в языке программирования C#.

13.

Расширенные возможности полиморфизма в языке C#

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору расширенных возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.

14.

Расширенные возможности языка программирования C#

Цель: ознакомление с расширенными возможностями языка программирования C# (интерфейсы и делегаты).

15.

Событийно управляемое программирование в .NET

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей событийно управляемого проектирования и реализации программных систем - одного из важнейших аспектов современного объектно-ориентированного программирования.

16.

Событийно-ориентированное программирование

Цель: ознакомление с особенностями реализации механизмов событийно-ориентированного программирования в языке C# (механизм обработки событий, исключительные ситуации).

17.

Компонентное программирование в .NET

В данной лекции будут рассмотрены вопросы, относящиеся к идеологии и обзору возможностей компонентного проектирования и реализации программных систем - одного из важнейших и наиболее передовых подходов в современном программировании.

18.

Проектирование и реализация гетерогенных приложений

Цель: знакомство с проектированием и реализацией гетерогенных приложений для платформы .NET на примере совместного проекта из компонент на языках SML и C#.

Вопросы и Ответы