Лекция 1 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
4 044
22.5
Лекториум193 тыс
Следующее
24.07.13 – 9091:06:53Популярные
Опубликовано 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
Свежие видео
5 дней – 15 7133:55
8 дней – 5273:59:37
12 дней – 16 2971:12
14 дней – 5 83616:33
15 дней – 20 3720:10Случайные видео
279 дней – 3 8548:14
10.09.23 – 4 8511:00
18.04.23 – 11 3950:51
25.10.22 – 27 1165:44
12.09.21 – 8 1578:54
26.03.15 – 2 2844:29
5 часов – 2 3230:51
3 дня – 5870:06
3 дня – 1 7111:00
6 дней – 43 3151:47:23
7 дней – 7021:20
7 дней – 25 48714:18
8 дней – 2 1201:36:21