- Артикул:00-01095277
- Автор: Зыков С. В.
- ISBN: 5-9556-0009-4
- Обложка: Твердая обложка
- Издательство: Интернет-Университет Информационных технологий (все книги издательства)
- Город: Москва
- Страниц: 400
- Формат: 60x90 1/16
- Год: 2004
- Вес: 576 г
- Серия: Учебное пособие для ВУЗов (все книги серии)
- Основы информационных технологий
Развернуть ▼
Учебный курс «Введение в теорию программировании основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Целью курса является формирование адекватного мировоззрения на современное программирование. Проводится сравнительный анализ функционального и объектно-ориентированного подходов к разработке программных систем.
Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 «Прикладная информатика»
Содержание
Вступительная лекция
Часть I.
Лекция 1. Классификация языков программирования
Лекция 2. Концепция и возможности подхода .NET
Лекция 3. Функциональный подход к программированию
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования
Лабораторная работа 1
Лекция 5. Комбинаторная логика как формальная система
Лекция 6. Теория типов и комбинаторная логика
Лабораторная работа 2
Лекция 7. Синтаксис языков программирования
Лекция 8. Семантика языков программирования
Лабораторная работа 3
Лекция 9. Рекурсивные функции и множества
Лабораторная работа 4
Лекция 10. Абстрактные машины и категориальная комбинаторная логика
Лекция 11. Категориальная абстрактная машина
Лекция 12. Оптимизация вычислений и абстрактные машины
Лабораторная работа 5
Часть 2.
Лекция 13. Объектно-ориентированный подход к программированию
Лекция 14. Платформа-NET и ее применение для объектно-ориентированного подхода к программированию
Лекция 15. Основные понятия языка программирования С#
Лабораторная работа 6
Лекция 16. Семантика основных конструкций языка программирования C#
Лекция 17. Основные понятия объектно-ориентированного подхода: объекты, классы и методы
Лабораторная работа 7
Лекция 18. Теория типов и типизация в .NET
Лекция 19. Концепция наследования и ее реализация в языке C#
Лекция 20. Концепция инкапсуляции ее реализация в языке C#
Лекция 21. Концепция полиморфизма и ее реализация в языке С#
Лабораторная работа 8
Лекция 22. Расширенные возможности полиморфизма в языке C#
Лабораторная работа 9
Лекция 23. Событийно управляемое программирование в .NET
Лабораторная работа 10
Лекция 24. Компонентное программирование в .NET
Лабораторная работа 11
Библиография
Список литературы
Сайты по теме курса
Рекомендуем
