Функциональное программирование. Лекция 5, часть 1
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
23.03.12
Дата публикации:
23.03.12
Код для блога:
Системы функционального программирования. Основы лямбда-исчисления
- Другие стили функционального программирования: ЛИСП.
- Другие стили функционального программирования: FP.
- Основы λ-исчисления. λ-выражения и редукции. Нормальная форма.
- Проблема конфликта имен и СЗНФ.
Страница лекции на сайте Computer Science Center
Другие лекции курса
13