Купить электронную книгу: Введение в теорию программирования. Функциональный подход


Купить книгу?
Введение в теорию программирования. Функциональный подход
461
Пожаловаться на книгу
  • 12,96 Мб
  • Отзывов: пока нет ( + добавить свой )
  • Год издания:2016 г.
  • Издательство:НОУ «Интуит»
  • Формат книги:PDF
  • Жанр:Программирование
  • Кол-во страниц:152
  • Книгу купило:461 человек
  • Автор:Зыков С. В.
  • Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
    Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

    Содержание:

    Лекция 0. Вступительная лекция
    Лекция 1. Классификация языков программирования
    Лекция 2. Концепция и возможности подхода .NET
    Лекция 3. Функциональный подход к программированию
    Лекция 4. Ламбда-исчисление как формализация языка функционального программирования
    Лекция 5. Базисные типы и стандартные функции языка SML
    Лекция 6. Комбинаторная логика как формальная система
    Лекция 7. Теория типов и комбинаторная логика
    Лекция 8. Функции SML для основных комбинаторов
    Лекция 9. Синтаксис языков программирования
    Лекция 10. Семантика языков программирования
    Лекция 11. Функции для синтаксического разбора простых языковых конструкций
    Лекция 12. Рекурсивные функции и множества
    Лекция 13. Рекурсивные вычисления
    Лекция 14. Абстрактные машины и категориальная комбинаторная логика
    Лекция 15. Категориальная абстрактная машина
    Лекция 16. Оптимизация вычислений и абстрактные машины
    Лекция 17. Реализация категориальной абстрактной машины
    Список литературы

Что еще прочитать?
    Просмотрело 919
    Сборник задач для подготовки к математическим олимпиадам — Книга представляет собой сборник олимпиадных задач по арифметике, алгебре, геометрии и тригонометрии, разбитый...
    • 0
    • 0

    Название: Сборник задач для

    Автор: Бугулов Е. А.,
    Просмотрело 894
    Промышленный дизайн — В книге рассматривается материальное окружение человека, во многом формирующее нашу повседневную, обыденную среду. В ней рассказывается о том, как...
    • 0
    • 0

    Название: Промышленный дизайн

    Автор: Курушин В. Д.
    Категория: Дизайн и графика
    Просмотрело 1 001
    В учебном пособии подробно четко и понятно описываются этапы и процедуры кадровой работы, приводится их научное обоснование, сравниваются достоинства и недостатки разных...
    • 0
    • 0

    Название: Подбор и расстановка

    Автор: Кузнецова Н.В.
    Категория: Бизнес
    Просмотрело 1 227
    Иллюстрированное собрание 270 наиболее интересных и характерных видов обмундирования, которое носили действовавшие на земле, на море и в воздухе участники величайшей из...
    • 0
    • 0
  • Случайная книга
    • Ваш Email:
    • Ваше сообщение:
    • для авторов книг
    Закрыть
    Если вы сами писали книгу, авторские права все равно будут принадлежать вам, так как по закону «Об авторском праве и смежных правах» объектом права признаётся не комплекс идей, а целостное произведение с его композицией и образной системой. Узнать больше?
    Хотите пройти обучение по сайту? ДаНет
    1. В этом блоке отображаются последние рецензии на известные книги и произведения
    2. Тут отображаются последние новости из мира Литературы и не только
    3. Тут вы можете авторизироватся и открыть свой профиль
    4. А здесь вы можете выбрать книгу под настроение
    5. Ели нажать на замочек то меню можно зафиксировать