Лекция 2 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
909
25.3
Лекториум193 тыс
Следующее
24.07.13 – 5091:02:04Популярные
171 день – 5161:02:50
Опубликовано 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
Свежие видео
2 дня – 69715:42
11 дней – 16 0501:36
11 дней – 43 7053:54
12 дней – 12 9051:53Случайные видео
20 дней – 17 0420:58
79 дней – 1 08940:27
17.03.23 – 1 21614:24
09.08.21 – 4802:13
05.01.14 – 18 2441:14
7 часов – 2 7130:51
5 дней – 8480:59
6 дней – 30 2040:59
8 дней – 12 1611:42
10 дней – 850:20
1 день – 5 62922:16