Главная » 2016»Декабрь»14 » Введение в теорию программирования. Функциональный подход
Опубликовано: 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. Реализация категориальной абстрактной машины Список литературы
Скачать Введение в теорию программирования. Функциональный подход
Внимание: сайт music80.ucoz.ru не несет ответственности за скачиваемые файлы. То же самое относится и к информации, которая указана разработчиком в описании программы. Стоит учитывать, что даже проверенные нами файлы на предмет наличия в них всевозможных вирусов, мы не можем дать 100% гарантию, что они действительно не заражены. Поэтому, всегда проверяйте файлы, загруженные с music80.ucoz.ru, на наличие вирусов.
Для блога (HTML)
Для форума (BB-Code)
Прямая ссылка
Внимание! При копировании материала ссылка на источник обязательна.
Понравилось? Жмите кнопку, пусть ваши друзья в социальных сетях тоже побывают на этой странице!
Полная совместимость с:
Внимание!
Все материалы размещенные на данном сайте собраны в свободном распространении на крупных интернет порталах в сети Интернет, и предназначены только для ознакомления. Все права на программы и игры принадлежат их авторам. Владельцы (администрация) сайта, не несут никакой ответственности за дальнейшее использование всех материалов с сайта. Если Вы являетесь разработчиком программного обеспечения, представленного на данном ресурсе и считаете, что размещение каких либо файлов, нарушает Ваши авторские права, то свяжитесь с
администрацией сайта через Обратную связь , и мы удалим эти файлы.
Есть что сказать?
Пишите, нам всегда интересно знать Ваше мнение! Все вопросы по поводу данной новости оставляйте здесь, администрация и другие пользователи сайта
music80.ucoz.ru
постараются Вам помочь. Пожалуйста, пишите комментарии без орфографических и пунктуационных ошибок.
Всего комментариев: 0
Информация: Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации. [Регистрация | Вход]
Авторское право
Авторское право
Не загружается установи плагин
Не загружаетса установи плагин
RSS
RSS
Информация
Информация
Наша кнопка
Мы будем вам признательны, если вы разместите нашу кнопку у себя на сайте: