Функциональное программирование

Кубенский Александр Александрович, Computer Science Center

Программа занятий по функциональному программированию включает в себя лекции и решение задач на программирование в функциональном стиле на языке Haskell. Примерное содержание лекций:

Тема 1. Основы функционального программирования
Понятие о функциональном программировании; введение в Haskell; списки и определение новых типов данных в Haskell; функции высших порядков; карринг и функциональное представление данных; ленивые вычисления и "бесконечные" списки; потоки и "завязывание узлов"; регулярные выражения; представление графов; классы; другие стили функционального программирования: LISP и FP.

Тема 2. Лямбда-исчисление
Основы лямбда-исчисления; рекурсия в лямбда-исчислении и "чистое" лямбда-исчисление.

Тема 3. Интерпретация и компиляция функциональных программ
Представление функциональных программ; Eval/Apply интерпретатор; функциональная SECD-машина.

Тема 4. Введение в редукцию графов
Введение в редукцию графов; введение в комбинаторную редукцию; комбинаторная редукция на графах.

Сессии:
  • Свободный график
Характеристики онлайн курса:
  • Бесплатный:
  • Платный:
  • Сертификат:
  • MOOC:
  • Видеолекции:
  • Аудиолекции:
  • Email-курс:
  • Язык: Русский Ru

Отзывы

Пока никто не написал отзыв по этому курсу. Хотите быть первым?

Зарегистрируйтесь, чтобы оставить отзыв

Входит в подборки курсов:
Small-icon.hover Functional Programming
Материалы по функциональному программированию
Ещё курсы на эту тему:
Extpicture Программирование в AutoCAD
Курс представляет собой пособие по программированию в системе автоматизиров...
Extpicture Основы функционального программирования
В курсе изложены основы функционального программирования и методы его приме...
Extpicture Функциональное программирование
Курс знакомит слушателей с парадигмой функционального программирования, в к...
Extpicture Язык и библиотеки Haskell 98
Haskell является чисто функциональным языком программирования общего назнач...
Extpicture Введение в теорию программирования. Функциональный подход
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчи...
Ещё из рубрики «Компьютерные науки»:
New-logo Курсы Нетологии со скидкой в 5%
Скидки 5% на все курсы Нетологии.
New-logo Скидка до 3000 руб. от Нетологии в Январе 2017
Скидки: - 3000 рублей на курсы «Копирайтинг» и «Веб-аналитика» — промокод hochu...
Cf4c6c5e92f9469c8af342465d00a462 Практический анализ данных
Практический курс по анализу данных, включающий в себя максимально полезные...
Netology2016 Новогодняя распродажа в Нетологии
Скидка на ВСЕ курсы 2016 руб! Электронная коммерция и SMM, веб-дизайн и HTML...
150x150 Курсы информационных технологий
Компания «Яндекс» регулярно проводит набор на Курсы информационных технолог...
Ещё от Computer Science Center:
Cscenter Дополнительные главы алгоритмов
Часть 1. Продвинутые структуры данных Приоритетные очереди, сливаемые кучи...
Cscenter Алгоритмы и структуры данных 2
Splay-дерево и декартово дерево Хеширование Числовые алгоритмы: проверка ...
Cscenter Технологии хранения и обработки больших объёмов данных
Курс посвящён теоретическим и практическим аспектам технологий, связанных с...
Cscenter Алгоритмы в биоинформатике
Биоинформатика — это быстро растущий раздел computer science, благодаря кот...
Cscenter Сложность вычислений и основы криптографии
Курс знакомит со сложностью вероятностных вычислений и теоретическими основ...

© 2013-2017