1. Лямбда-исчисление
00:00 Начало лекции 01:21 Функциональная модель вычислений 26:01 Чистое λ-исчисление 56:12 Отношения эквивалентности на термах Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра Ссылка на плейлист курса на YouTube
1 view
19
2
1 year ago
01:53:08
1
Вычислимость и неразрешимые задачи
2 years ago
01:21:46
9
Формальная философия-78: доклад Степана Кузнецова «Категориальные грамматики Ламбека» (часть 1)
2 years ago
01:30:11
1
1. Лямбда-исчисление
4 years ago
02:02:57
4
Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
4 years ago
02:23:43
1
Лямбда-исчисление
5 years ago
01:36:02
9
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...
6 years ago
01:34:22
18
HoTT 1: Типизированное лямбда исчисление
7 years ago
01:07:45
10
Лямбда исчисление 2_1
7 years ago
00:49:33
19
Лямбда исчисление 1_2
7 years ago
00:56:50
60
Лямбда исчисление 1_1
8 years ago
02:23:43
21
Лямбда исчисление 1 (3)
11 years ago
01:24:59
24
Функциональное программирование, лекция 5, часть 1
Back to Top