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

  • Общее

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

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

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

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


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

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

      • LAMBDA - исчисление

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

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

        • Тема 6

          • Тема 7

            • Тема 8

              • Тема 9

                • Тема 10

                  • Тема 11

                    • Тема 12

                      • Тема 13

                        • Тема 14

                          • Тема 15

                            • Тема 16