Введение в теорию программирования. Функциональный подход (2-е изд.)

Автор: SCART56 от 18-07-2018, 04:03, Коментариев: 0

Категория: КНИГИ » ПРОГРАММИРОВАНИЕ


Название: Введение в теорию программирования. Функциональный подход (2-е изд.)
Автор: Зыков С.В.
Издательство: М.: НОУ "Интуит"
Год: 2016
Страниц: 152
ISBN: 5-9556-0009-4
Формат: PDF
Размер: 13 Мб
Язык: русский

Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы 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

Скачать Зыков С.В. - Введение в теорию программирования. Функциональный подход (2-е изд.)








Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.