Матлогика 32. Лямбда-исчисление
1:30:34
Матлогика 31. Машины Тьюринга
56:50
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
1:17:41
Многомерный анализ, интегралы и ряды 8. Функциональные последовательности
2:02:56
Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
1:30:11
1. Лямбда-исчисление
1:11:51
Гармонический анализ. Лекция 1. Классификация пространств, их свойства. Сходимость. Ортогональность.
2:23:43
Лямбда-исчисление
47:36