 |
Твой путь к знаниям |
| регистрация || зачетка | дипломы |
| Курсы | Обучение | Школа | Магазин | Работа | Общение | Новости | Помощь | |
|
|
|
|
|||||||
|
 |
поддержка курса
Введение в теорию программирования. Объектно-ориентированный подход
Автор: С.В. Зыков
Информация о курсе
Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.
Цель
Сравнительный анализ функционального и объектно-ориентированного подходов к программированию на основе универсальной среды вычислений.
Предварительные знания
Основы теории программирования (ламбда-исчисление, комбинаторная логика, теория вычислений Д.Скотта, абстрактные машины) и практического программирования на языке SML (синтаксис, семантика, типизация, рекурсия).
Диплом
сертификат
(ИНТУИТ)
0.
Обзор истории развития научных направлений, сформировавших теоретическое основание курса.
1.
Лекция посвящена роли и месту объектно-ориентированного подхода к программированию в общей классификации,
его достоинствам и недостаткам, неформальному определению важнейших концепций объектно-ориентированного программирования.
2.
В лекции рассматриваются вопросы, относящиеся к идеологии, технологии и обзору практических возможностей создания программных систем на основе Microsoft .NET – подхода к проектированию и реализации программного обеспечения. При этом подход .NET обсуждается в приложении к специфике объектно-ориентированного подхода к программированию.
3.
В лекции обсуждаются вопросы, относящиеся к понятийному аппарату,
истории развития, выразительным возможностям синтаксиса и особенностям реализации языка
C# в сравнении с другими объектно-ориентированными языками программирования.
4.
Цель: знакомство с базовыми особенностями языка программирования C# и разработки программ с использованием среды Microsoft Visual Studio .NET
5.
В данной лекции будут рассмотрены вопросы, относящиеся к понятийному аппарату и выразительным возможностям семантического представления формальных теорий и языков программирования. При этом основное внимание будет уделено сопоставлению семантики языков объектно-ориентированного и функционального программирования. В качестве примеров языков программирования будут выступать уже знакомый нам по предыдущему курсу язык SML и изучаемый нами язык C#.
6.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, методологии и практике моделирования основных элементов объектно-ориентированного подхода к программированию посредством двухуровневой концептуализации. Особенности практической реализации основных аспектов концепции ООП описаны на примере языка программирования C#.
7.
Цель: ознакомление с основой объектного подхода в языке C#, созданием объектов, классов и механизмом наследования.
8.
В данной лекции будут рассмотрены вопросы, относящиеся к истории развития, идеологии, математическому основанию и обзору возможностей типизированной комбинаторной логики и теории типов - математической формализации, моделирующей типы выражений в языках программирования.
9.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей наследования - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.
10.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей инкапсуляции - одной из фундаментальных концепций, на которых базируется объектно-ориентированное программирование.
11.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.
12.
Цель: Ознакомление с особенностями создания и применения полиморфных методов в языке программирования C#.
13.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору расширенных возможностей полиморфизма - одной из фундаментальных концепций, на которых основано объектно-ориентированное программирование.
14.
Цель: ознакомление с расширенными возможностями языка программирования C# (интерфейсы и делегаты).
15.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии, математическому основанию и обзору возможностей событийно управляемого проектирования и реализации программных систем - одного из важнейших аспектов современного объектно-ориентированного программирования.
16.
Цель: ознакомление с особенностями реализации механизмов событийно-ориентированного программирования в языке C# (механизм обработки событий, исключительные ситуации).
17.
В данной лекции будут рассмотрены вопросы, относящиеся к идеологии и обзору возможностей компонентного проектирования и реализации программных систем - одного из важнейших и наиболее передовых подходов в современном программировании.
18.
Цель: знакомство с проектированием и реализацией гетерогенных приложений для платформы .NET на примере совместного проекта из компонент на языках SML и C#.
|
|
|
|
|
|
|
|||
|
|||
|
Курсы |
Учебные программы |
Учебники |
Вопросы и Ответы |
Форум |
Новости |
Помощь
Телефон: +7 (495) 253-9312, 253-9313, факс: +7 (495) 253-9310, email: info@intuit.ru © INTUIT.ru::Интернет-Университет Информационных Технологий - дистанционное образование, 2003-2010 |
|
Проект Издательства "Открытые Системы". Партнеры: РМ Телеком, KRAFTWAY COMPUTERS. |
|
RSS