Скачать Введение в теорию программирования. Функциональный подход бесплатно
14.12.2016, 13:34
Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Название: Введение в теорию программирования. Функциональный подход Автор: Зыков С. В. Издательство: НОУ «Интуит» Год: 2016 Страниц: 152 Формат: PDF Размер: 12,96 Мб ISBN: 5-9556-0009-4 Качество: Отличное
Содержание:
Лекция 0. Вступительная лекция Лекция 1. Классификация языков программирования Лекция 2. Концепция и возможности подхода .NET Лекция 3. Функциональный подход к программированию Лекция 4. Ламбда-исчисление как формализация языка функционального программирования Лекция 5. Базисные типы и стандартные функции языка SML Лекция 6. Комбинаторная логика как формальная система Лекция 7. Теория типов и комбинаторная логика Лекция 8. Функции SML для основных комбинаторов Лекция 9. Синтаксис языков программирования Лекция 10. Семантика языков программирования Лекция 11. Функции для синтаксического разбора простых языковых конструкций Лекция 12. Рекурсивные функции и множества Лекция 13. Рекурсивные вычисления Лекция 14. Абстрактные машины и категориальная комбинаторная логика Лекция 15. Категориальная абстрактная машина Лекция 16. Оптимизация вычислений и абстрактные машины Лекция 17. Реализация категориальной абстрактной машины Список литературы
Скачать Введение в теорию программирования. Функциональный подход
Добавить в закладки
Предлагаем Вам скачать «Введение в теорию программирования. Функциональный подход» бесплатно, Скачать Введение в теорию программирования. Функциональный подход без регистрации и без смс.Введение в теорию программирования. Функциональный подход бесплатно и без регистрации. «Введение в теорию программирования. Функциональный подход» download free Данный материал предоставлен для скачивания не с наших серверов, поэтому мы не несём ответственности за выложенные материалы. Все конфликтные материалы могут быть удалены по просьбе владельцев
Всего комментариев: 0
Поиск
Пользователи
Наша кнопка
Если вам наш сайт был полезен, вы можете нас отблагодарить разместив наш баннер у вас на сайте.
