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

м
Нет описания правки
м
м
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Формализация ФП на основе lambdaлямбда-исчисления|Формализация ФП на основе λ-исчисления]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:025.png| .]]
 
3210

правок