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