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

Купить книгу?

Жалоба

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

465

Пожаловаться на книгу

12,96 Мб
Отзывов: пока нет ( + добавить свой )
Год издания:2016 г.
Издательство:НОУ «Интуит»
Формат книги:PDF
Жанр:Программирование
Кол-во страниц:152
Книгу купило:465 человек
Автор:Зыков С. В.
Введение в теорию программирования. Функциональный подход — Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы 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. Реализация категориальной абстрактной машины
Список литературы

Что еще прочитать?

Просмотрело 1 010

Основы электронной коммерции и бизнеса — Учебное пособие «Основы электронной коммерции и бизнеса» предназначено для студентов высших учебных заведений экономического...

Название: Основы электронной

Автор: Гаврилов Л. П.

Категория: Бизнес

Просмотрело 573

Методы определения термодинамических характеристик веществ, химических реакций и растворов — Учебное пособие охватывает основные темы химической термодинамики и...

Название: Методы определения

Автор: Хохлачева Н.М.,

Категория: Естественные науки

Просмотрело 2 488

Приключенческий роман, в котором раскрываются методы подготовки американских разведчиков. Герой романа Джин Грин проходит школу подготовки "зелёных беретов" - суперменов,...

Название: Джин Грин - Неприкасаемый

Автор: Гривадий Горпожакс

Категория: Беллетристика

Просмотрело 526

Энциклопедия актуальная и полезная. Это незаменимое практическое пособие, которое подскажет, как рационально и экономно провести ремонт в доме. Для кого ремонт - хобби,...

Название: Ремонт своими руками

Автор: Коллектив авторов

Категория: Дом и семья

Просмотрело 838

Алгоритмические основы современной компьютерной графики — Излагаются методы, алгоритмы и технические средства компьютерной графики. В основу изложения положены наиболее...

Название: Алгоритмические основы

Автор: Куликов А. И.,

Категория: Дизайн и графика

Комментариев

войти с помощью vk Создать аккаунт

Войти

Случайная книга