MIPT-FP-25-Lect-sn1

Функциональное программирование в МФТИ. Темы: итерация и примитивная рекурсия; теорема о неподвижной точке; решение "уравнений" и их систем; явная рекурсия; минимизация.