Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера

Нормальный и аппликативный порядок редукции. Ленивые и энергичные вычисления. Механизмы вызова и проблема разделения. Теорема Чёрча-Россера и теорема стандартизации. Экстенсиональность. Слабая заголовочная нормальная форма.



';



Видеотека

Яндекс.Метрика