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