|
Лекция 22: Формальная семантика языков функционального программирования, и 21 |
Спонсор: Microsoft
Вы можете этот курс.
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1872 / 156 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Тема: Программирование
Специальности: Программист
Теги:
Лекция 15:
Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
< Лекция 1 || Лекция 15
Аннотация: Нормальный и аппликативный порядок редукции. Ленивые и энергичные вычисления. Механизмы вызова и проблема разделения. Теорема Чёрча-Россера и теорема стандартизации. Экстенсиональность. Слабая заголовочная нормальная форма.
< Лекция 1 || Лекция 15
