Матлогика 32. Лямбда-исчисление

[@maximrudenko806]

Для меня здесь объяснение оказалось самым понятным. Спасибо!

[@lectory_fpmi]

Определение лямбда-термов 15:00
R-редукция 35:00
R-эквивалентность 45:00
(β-)нормальные термы 1:05:00
Кодирование пар 1:30:00
Кодирование натуральных чисел 1:45:00
Цикл 2:10:00
Явная рекурсия, неподвижные точки 2:26:00​

[@redrainbowguy]

Превосходное объяснение!

[@progonetosnew8038]

Препод классный

[@dmitrysavkin5981]

Чем отличается этот курс от курса Мусатова?

[@torcher5023]

Какое-то жонглирование буковками

[@torcher5023]

Ладно, должен признать, что это весьма занимательно.

[@РайанКупер-э4о]

Вся деятельность человека выглядит как жонглирование буковками и звуками.