Современные языки программирования и .NET. Основы функционального программирования и computer science. Учебный курс

Зыков С.


Зыков С. Современные языки программирования и .NET. Основы функционального программирования и computer science. Учебный курс. - М.: Учебный Центр безопасности информационных технологий Microsoft МИФИ (ГУ), 2003.

Курс лекций посвящен современным языкам программирования. Изучение языков программирования базируется на теоретическом фундаменте современных подходов и математических формализаций, принятых в мировом computer science. В качестве технологической основы и инструментальной платформы для исследования языков программирования предлагается новейшая разработка корпорации Microsoft – комплекс программного обеспечения на основе методологии .NET. Курс имеет целью введение в теорию и практику разработки программных систем и состоит из двух взаимосвязанных этапов, преподавание которых физически разделено по времени на два семестра. Первый семестр посвящен основам программирования и теоретическому введению в computer science. Второй семестр предполагает (на основе знакомства с азами теории и практики программирования) более профессиональные аспекты реализации гетерогенных программных систем.
Содержание
Лекция 1: Классификация языков программирования
Лекция 2: Концепция и возможности подхода .NET
Лекция 3: Функциональный подход к программированию
Лекция 4: Ламбда-исчисление как формализация ЯФП
Лекция 5: Комбинаторная логика как формальная система
Лекция 6: Теория типов и комбинаторная логика
Лекция 7: Синтаксис языков программирования
Лекция 8: Семантика языков программирования
Лекция 9: Рекурсивные функции и множества
Лекция 10: Абстрактные машины и ККЛ
Лекция 11: Категориальная абстрактная машина
Лекция 12: Оптимизация вычислений и расширения абстрактных машин