数学影像馆

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

热度排名 #226

用 λ 演算算阶乘

The Lambda Calculus for Fun and Factorials

从只允许定义和调用函数的规则出发，留意递归的阶乘怎样在没有普通循环语句的情况下写出来。

Arthur Gleckler · 5 串讨论 · 热度 11.496

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

讨论出处