Тематический план

  • Общее

  • Парадигмы программирования.

    Процедурный, функциональный и логический подходы к программированию.

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

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


  • Язык функционального программирования LISP

    Интерпретатор LISP. Свойства языка, синтаксис. Алгоритм работы интерпретатора, вычисление выражений. Примеры простых функций. Реализация типа данных - множество.
  • LAMBDA - исчисление

    λ-исчисление является теоретическим базисом для функционального программирования, представляет собой формальный метод представления функций и правила вывода значений функций. Cформулировано Алонзо Чёрчем (Alonzo Church) в 1930 году как теория исчисления анонимных (безымянных) функций.

  • Функциональное представление данных

  • Тема 6

  • Тема 7

  • Тема 8

  • Тема 9

  • Тема 10

  • Тема 11

  • Тема 12

  • Тема 13

  • Тема 14

  • Тема 15

  • Тема 16