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

Опубликовал H999Gb
  • 0

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



Комментарии к новости
Добавить комментарий
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
ТОП Комментарии
EddieCougs
EddieCougs пишет:
Не знаете где купить хорошую входную дверь в Москве? --- двери металлические входные цены --- Китайские
Алла Леонтьева
Очень интересно читается. Не смогла оторваться. Особенно понравилась про австралийского пастуха, пробежавшего 750 км
Александр Леонов
Книга может быть хорошим руководством во многих случаях жизни! Я думаю так!
BennyPlalo
BennyPlalo пишет:
Секрет евреев: Еврейские мужчины лечат простатит за 2-3 недели! Один раз в жизни! Раз и навсегда! Узнаем как...