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