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