Редексы. Одношаговая и многошаговая $ \beta $-редукция, $ \beta $-эквивалентность. $ \beta $-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Нормальная и аппликативные стратегии редукции. Теорема о нормализации.