Лекция 1 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
4 087
22.3
Лекториум194 тыс
Следующее
24.07.13 – 9171:06:53Популярные
54 дня – 1719:34Опубликовано 24 июля 2013, 20:18
Лекция 1 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13181
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Теорема о неподвижной точке, Y-комбинатор.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13181
Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Теорема о неподвижной точке, Y-комбинатор.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 691:00
5 дней – 7950:43
5 дней – 1 7254:29:11
Случайные видео
157 дней – 4 8890:43
230 дней – 1375:36
30.10.23 – 69340:24
14.03.22 – 5004:51
23.01.22 – 52 9087:29
07.02.11 – 6410:24
21 час – 2 17856:56
4 дня – 4160:46
6 дней – 355 06236:34
7 дней – 1 6151:53
11 дней – 13 0530:57
14 дней – 67828:54
2 дня – 192:29:15