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

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

правка