Рекурсия и редукция

Пятница, 21 февраля 2014, 18:30–19:50
ФМЛ 239, Актовый зал

Слайды с лекции

func_prog_lecture_210214.pdf

Описание

Теорема о неподвижной точке, Y-комбинатор. Редексы. Одношаговая и многошаговая редукция. Нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Cтратегии редукции. Теорема о нормализации. Механизмы вызова в функциональных языках.