Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления: различия между версиями

Содержимое удалено Содержимое добавлено
м Шаблон со списком лекций
мНет описания правки
Строка 1:
__TOC__
{{ОФП Содержание}}
 
= Лекция 10. «Формализация Функционального Программирования на основе λ-исчисления»=
 
*Объект изучения: множество определений функций.