Опубликована: 05.04.2011 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 14 дней
Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.).
Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.
Цель: Сравнительный анализ функционального и объектно-ориентированного подходов к программированию на основе универсальной среды вычислений.
Необходимые знания: Основы теории программирования (ламбда-исчисление, комбинаторная логика, теория вычислений Д.Скотта, абстрактные машины) и практического программирования на языке SML (синтаксис, семантика, типизация, рекурсия).
План занятий
Занятие | Заголовок << | Дата изучения |
---|---|---|
- | ||
Лекция 121 минута | Вступительная лекция
Обзор истории развития научных направлений, сформировавших теоретическое основание курса.
Оглавление | - |
Лекция 227 минут | Объектно-ориентированный подход к программированию
Лекция посвящена роли и месту объектно-ориентированного подхода к программированию в общей классификации,
его достоинствам и недостаткам, неформальному определению важнейших концепций объектно-ориентированного программирования.
Оглавление | - |
Тест 115 минут | - | |
Лекция 341 минута | Платформа.NET и ее применение для объектно-ориентированного подхода к программированию
В лекции рассматриваются вопросы, относящиеся к идеологии, технологии и обзору практических возможностей создания программных систем на основе Microsoft .NET – подхода к проектированию и реализации программного обеспечения. При этом подход .NET обсуждается в приложении к специфике объектно-ориентированного подхода к программированию.
Оглавление | - |
Тест 215 минут | - | |
Лекция 450 минут | Основные понятия языка программирования C#
В лекции обсуждаются вопросы, относящиеся к понятийному аппарату,
истории развития, выразительным возможностям синтаксиса и особенностям реализации языка
C# в сравнении с другими объектно-ориентированными языками программирования.
Оглавление | - |
Тест 315 минут | - | |
Самостоятельная работа 110 минут | Разработка элементарных программ на языке программирования C#
Цель: знакомство с базовыми особенностями языка программирования C# и разработки программ с использованием среды Microsoft Visual Studio .NET
Оглавление | - |
Лекция 524 минуты | Семантика основных конструкций языка программирования C#
В данной лекции будут рассмотрены вопросы, относящиеся к понятийному аппарату и выразительным возможностям семантического представления формальных теорий и языков программирования. При этом основное внимание будет уделено сопоставлению семантики языков объектно-ориентированного и функционального программирования. В качестве примеров языков программирования будут выступать уже знакомый нам по предыдущему курсу язык SML и изучаемый нами язык C#.
Оглавление | - |
Тест 415 минут | - | |
Лекция 631 минута | Основные понятия объектно-ориентированного подхода: объекты, классы и методы
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, методологии и практике моделирования основных элементов объектно-ориентированного подхода к программированию посредством двухуровневой концептуализации. Особенности практической реализации основных аспектов концепции ООП описаны на примере языка программирования C#.
Оглавление | - |
Тест 515 минут | - | |
Самостоятельная работа 28 минут | Объекты и классы
Цель: ознакомление с основой объектного подхода в языке C#, созданием объектов, классов и механизмом наследования.
Оглавление | - |
Лекция 731 минута | Теория типов и типизация в .NET
В данной лекции будут рассмотрены вопросы, относящиеся к истории развития, идеологии, математическому основанию и обзору возможностей типизированной комбинаторной логики и теории типов - математической формализации, моделирующей типы выражений в языках программирования.
Оглавление | - |
Тест 615 минут | - | |
Лекция 834 минуты | Концепция наследования и ее реализация в языке C#
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей наследования - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.
Оглавление | - |
Тест 715 минут | - | |
Лекция 934 минуты | Концепция инкапсуляции и ее реализация в языке C#
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей инкапсуляции - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.
Оглавление | - |
Тест 815 минут | - | |
Лекция 1027 минут | Концепция полиморфизма и ее реализация в языке C#
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.
Оглавление | - |
Тест 915 минут | - | |
Самостоятельная работа 37 минут | Полиморфные методы
Цель: Ознакомление с особенностями создания и применения полиморфных методов в языке программирования C#.
Оглавление | - |
Лекция 1129 минут | Расширенные возможности полиморфизма в языке C#
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору расширенных возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.
Оглавление | - |
Тест 1015 минут | - | |
Самостоятельная работа 46 минут | Расширенные возможности языка программирования C#
Цель: ознакомление с расширенными возможностями языка программирования C# (интерфейсы и делегаты).
Оглавление | - |
Лекция 1248 минут | Событийно управляемое программирование в .NET
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей событийно управляемого проектирования и реализации программных систем - одного из важнейших аспектов современного объектно-ориентированного программирования.
Оглавление | - |
Тест 1115 минут | - | |
Самостоятельная работа 510 минут | Событийно-ориентированное программирование
Цель: ознакомление с особенностями реализации механизмов событийно-ориентированного программирования в языке C# (механизм обработки событий, исключительные ситуации).
Оглавление | - |
Лекция 1326 минут | Компонентное программирование в .NET
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии и обзору возможностей компонентного проектирования и реализации программных систем - одного из важнейших и наиболее передовых подходов в современном программировании.
Оглавление | - |
Тест 1215 минут | - | |
Самостоятельная работа 66 минут | Проектирование и реализация гетерогенных приложений
Цель: знакомство с проектированием и реализацией гетерогенных приложений для платформы .NET на примере совместного проекта из компонент на языках SML и C#.
Оглавление | - |
5 часов | - |