Лекция 2 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
915
25.4
Лекториум194 тыс
Следующее
24.07.13 – 5151:02:04Популярные
29 дней – 12614:22
Опубликовано 24 июля 2013, 20:18
Лекция 2 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13182
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и вычислимость по Тьюрингу. Неразрешимость бестипового λ-исчисления.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13182
λ-исчисление как язык программирования. Булевы значения, пары. Числа Чёрча, операции над ними. Примитивная рекурсия. Списки. Лямбда-определимость и вычислимость по Тьюрингу. Неразрешимость бестипового λ-исчисления.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
4 дня – 05:38
6 дней – 15 05459:15
7 дней – 1 3311:00
8 дней – 7371:07
9 дней – 19 8223:25
Случайные видео
158 дней – 50 20113:16
215 дней – 7 6890:31
13.06.22 – 105 70536:01
28.09.21 – 9 8893:49
10.01.20 – 57 3321:41:02
06.06.17 – 205:31
1 день – 40:23
1 день – 5 2903:00
10 дней – 9 4131:52
11 дней – 21 69655:46
13 дней – 16 6102:14:00
13 дней – 6 7792:09
1 день – 1 1881:00