Четверг, 16.01.2025, 16:04
Приветствую Вас Гость | RSS
Меню сайта
RSS
Поиск
Мини-чат
Наш опрос
С чего пришли к нам на сайт?
Результаты | Архив опросов
Всего ответов: 171
Реклама
Главная » Файлы » Книги » Уроки, обучение, курсы
Введение в теорию программирования. Функциональный подход
14.12.2016, 18:33

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

Скачать Введение в теорию программирования. Функциональный подход
Скачать с dfiles.ru
Скачать с turbobit.net
Скачать с uploadboy.me
Скачать с katfile.com
Скачать с file-upload.cc


Категория: Уроки, обучение, курсы | Добавил: pmojka | Теги: Зыков, 2016, Подход, функциональный, программирования, теорию, Введение
Просмотров: 456 | Загрузок: 0
Рейтинг: 0.0/0
Уважаемый Гость! Если ссылка на материал битая, просим вас сообщить нам кликнув по ссылке ниже, и написав жалобу, что сссылка битая! Жаловаться на материал
Поделись ссылкой

  • -ссылка
  • -BBCode
  • -HTML

    • Всего комментариев: 0
    Добавлять комментарии могут только зарегистрированные пользователи.
    [ Регистрация | Вход ]
    Пятерка последних добавленных игр:
    Magicka: Wizard Wars (2015/PC/RUS)
    Last Inua (2014/PC/RUS)
    Cargo 3 (2014/ENG/MULTi6)
    Фантастическая рыбалка / Fantastic Fishing v. Новый Год 2015 (2014/Rus/PC)
    GTA San Andreas - Русская зима v.0.1 (2015/ RUS) PC repack jn lucky
    Пятерка последних добавленных видео:
    Михаил Зуев-Ордынец - Желтый тайфун (1928) pdf, djvu
    Джеймс Хэдли Чейз - Собрание сочинений (1991-1995) fb2
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Эжен Сю - Сборник произведений (2011) fb2
    Авторизация
    Привет: Гость
    Группа: Гости
    Сообщения:

    Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!

    Облачко тегов
    Топ постеров
    pmojka
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 44599
    felix4
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 6389
    zyzy
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4820
    Синица
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4453
    19Anton98
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 2959
    Последнее на форуме
    Статистика
    » Зарег. на сайте
    Всего: 247
    Новых за месяц: 0
    Новых за неделю: 0
    Новых вчера: 0
    Новых сегодня: 0
    » Из них
    Администраторов: 1
    Модераторов: 1
    Журналисты: 35
    Проверенных: 1
    Обычных юзеров: 205
    » Из них
    Парней: 209
    Девушек: 38

    Онлайн всего: 70
    Гостей: 70
    Пользователей: 0
    Пользователи, посетившие
    сайт за текущий день :

    Вверх
    WMmail.ru - сервис почтовых рассылок Web-IP.ru - Система Активной Рекламы

    Copyright dga.ucoz.ru © 2008 - 2017 | Конструктор сайтов - uCoz
    Главная | Скачать софт | Скачать фильмы | Скачать игры | Скачать музыку | Скачать обои | Скачать книги | Sitemaprss
    Все файлы и ссылки на файлы, выложенные на сайте, были найдены в сети интернет как свободно распространяемые и предоставлены лишь для ознакомления с ними, последующим удалением с вашего компьютера и покупкой (при необходимости) у авторов продукции. Если вы являетесь правообладателем какого либо контента и не желаете его свободного распространения, сообщите нам и нарушение будет устранено. Обратная связь