Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы 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
Название: Введение в теорию программирования. Функциональный подход
Автор: Зыков С.В.
Издательство: М.: НОУ "Интуит"
Год издания: 2016
Качество: Хорошее
Страниц: 152
Формат: PDF
Язык: Русский
Размер: 12.1 Mb
Скачать "Введение в теорию программирования. Функциональный подход (2-е издание)":
