数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #317

Computerphile 讲 λ 演算

Lambda Calculus - Computerphile

把表达式还原为变量、函数抽象和函数应用三种成分，再跟踪一次参数代换，看看形式系统怎样一步步计算。

Computerphile · 4 串讨论 · 热度 8.007

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处