Задания СРМ
Требуемые условия завершения
Подготовить реферат на тему:
Лямбда-исчисление.
Комбинаторная логика.
Комбинаторная определимость рекурсивных функций.