Рекурсия и редукция

Вторник, 16 февраля 2016
Таймс, ауд. 404

Приложенные файлы

Описание

Числа Чёрча: предшествование, вычитание. Примитивная рекурсия. Списки. Комбинаторы неподвижной точки Карри и Тьюринга.