Лекция 3 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
509
56.6
Лекториум193 тыс
Следующее
24.07.13 – 4461:07:03Популярные
189 дней – 6 8670:27
23.12.21 – 45347:03Опубликовано 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
Свежие видео
3 дня – 13 5403:11
4 дня – 16 4563:34
5 дней – 1 4571:20:30
8 дней – 3 22019:51
8 дней – 4 2740:42
Случайные видео
103 дня – 1 0620:13
282 дня – 76550:26
318 дней – 457 57017:53
15.08.23 – 61 5371:40:27
19.12.21 – 9541:31:50
04.03.21 – 4 3482:33:43
2 дня – 4 2555:09
3 дня – 5970:37
4 дня – 7 0375:59
4 дня – 10 13054:15
9 дней – 39 2243:22
10 дней – 4521:57
10 дней – 3430:31
1 день – 7 7630:40