HTML> Все лучшее для вас
Все лучшее для вас!!! Вторник, 19.10.2021, 02:13
Меню сайта
Форма входа
Категории раздела
Игры [5228]
Мобила [344]
Софт [8340]
Журналы и книги [53034]
Картинки [2516]
Фильмы (видео) [3585]
Разное [2938]
Клипы [1179]
Новости в мире [16]
Все для фотошопа [936]
Все самое самое для мобилы [34]
Решебники (ГДЗ) [12]
Фильмы онлайн [16]
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Сегодняшние посетители
Наш опрос
Как вам сайтик
Всего ответов: 88
Наша кнопка


Получить код кнопки:

Реклама
Раскрутись
Главная » 2016 » Декабрь » 14 » Введение в теорию программирования. Функциональный подход
13: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
Категория: Журналы и книги | Просмотров: 78 | Добавил: pmojka | Теги: 2016, подход, Функциональный, теорию, введение, Зыков, программирования | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Кто от куда?
Теги сайта
Друзья сайта
Русские программы
Поиск
Copyright MyCorp © 2021
Сделать бесплатный сайт с uCoz