Лекция 3 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
515
57.2
Лекториум194 тыс
Следующее
24.07.13 – 4481:07:03Популярные
34 дня – 1 2757:19
34 дня – 1 0595:38Опубликовано 24 июля 2013, 20:18
Лекция 3 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13183
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Нормальная и аппликативные стратегии редукции. Теорема о нормализации.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13183
Редексы. Одношаговая и многошаговая β-редукция, β-эквивалентность. β-нормальная форма. Редукционные графы. Теорема Чёрча-Россера. Следствия: редуцируемость к нормальной форме, единственность нормальной формы. Нормальная и аппликативные стратегии редукции. Теорема о нормализации.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 22 9745:24
3 дня – 30 07036:28
Случайные видео
84 дня – 13353:06
17.11.23 – 8 79256:41
05.12.22 – 4 4858:00
31.10.22 – 8 8461:36
03.01.22 – 7690:34
13.09.11 – 7 2007:38
4 часа – 1 1740:58
1 день – 30:48
4 дня – 80:29
5 дней – 1 18027:52
8 дней – 1 4331:07:20
9 дней – 39 91510:00
12 дней – 26 2981:22:10
3 часа – 1540:58