Практика 2. Рекурсия в λ-исчислении
Неподвижные точки, комбинатор рекурсии, нормальные формы и стратегии вычисления.
Перед занятием
Термы и β-редукция из практики 1.
Самостоятельная работа
Откройте версию «По шагам» и попробуйте ответить на вопрос или решить задачу до следующего клика. Обычная версия слайдов и PDF подходят для повторения.
Листок упражнений — один двусторонний лист A4 с условиями и местом для записей.
Условия домашнего задания и инструкции по работе находятся в README по кнопке «Домашнее задание».
← Предыдущее занятие: Программирование в λ-исчислении · Следующее занятие →: Типы в λ-исчислении