Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML .NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Содержание
Лекция 0. Вступительная лекция 4 Лекция 1. Классификация языков программирования 12 Лекция 2. Концепция и возможности подхода .NET 22 Лекция 3. Функциональный подход к программированию 32 Лекция 4. Ламбда-исчисление как формализация языка функционального программирования 40 Лекция 5. Базисные типы и стандартные функции языка SML 49 Лекция 6. Комбинаторная логика как формальная система 55 Лекция 7. Теория типов и комбинаторная логика 64 Лекция 8. Функции SML для основных комбинаторов 76 Лекция 9. Синтаксис языков программирования 79 Лекция 10. Семантика языков программирования 91 Лекция 11. Функции для синтаксического разбора простых языковых конструкций 102 Лекция 12. Рекурсивные функции и множества 105 Лекция 13. Рекурсивные вычисления 114 Лекция 14. Абстрактные машины и категориальная комбинаторная логика 117 Лекция 15. Категориальная абстрактная машина 126 Лекция 16. Оптимизация вычислений и абстрактные машины 136 Лекция 17. Реализация категориальной абстрактной машины 146 Список литературы 148
Программирование. Учебник и практикум — Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека.
Программирование. Функциональный подход — Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека.
Программирование. Объектно-ориентированный подход. Учебник и практикум — Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека.
Курс знакомит студентов с разнообразием стилей и языков программирования. Выбор изучаемых парадигм отражает эволюцию языков, используемых при решении задач системной и прикладной информатики от низкоуровневого программирования на стыке с аппаратурой до языков сверх высокого уровня и параллельного программирования.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
