Что: Семинар
Когда: Пятница, 21 февраля 2014, 20:00–21:20
Где: ФМЛ 239, Актовый зал

Описание

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

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