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