Лекция 1 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
4 068
22.2
Лекториум194 тыс
Следующее
24.07.13 – 9151: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
Свежие видео
3 дня – 8 2681:01
3 дня – 7483:38
4 дня – 86631:14
5 дней – 9 91747:55
8 дней – 239 54025:19Случайные видео
14 дней – 4 0651:00
22.03.22 – 3 5562:59
04.11.21 – 2494:20
21.05.13 – 32 9404:46
1 день – 89727:52
2 дня – 10 0540:54
3 дня – 35 53521:13
5 дней – 79 4127:57
5 дней – 4 6160:52
9 дней – 39 11937:24
12 часов – 00:30