V
主页
京东 11.11 红包
λ-calculus
发布人
λ-calculus,λ演算,函数式编程的基石,模拟单一磁带图灵机的计算过程。 是一套从数学逻辑中发展,以变量绑定和替换的规则,来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统。 它由数学家阿隆佐·邱奇在20世纪30年代首次发表。 lambda演算作为一种广泛用途的计算模型,可以清晰地定义什么是一个可计算函数,而任何可计算函数都能以这种形式表达和求值,它能模拟单一磁带图灵机的计算过程;尽管如此,lambda演算强调的是变换规则的运用,而非实现它们的具体机器。
打开封面
下载高清视频
观看高清视频
视频下载器
Calculus 11e 2.5 Differentiation
Calculus:Partial derivative 微积分:偏导
Partial Derivative 1 微积分:偏导数 1
Linear Algebra:Vectors 线性代数:向量
Calculus:Curvature 1 微积分:曲率 1
20240714 Calculus 11e 1.Limits and Their Propertie
Group Theory 12 Cyclic futurama theorem 群论入门 12
Group Theory 4 Dihedral Group 二面体群
Calculus: Critical points 微积分:临界点
Calculus:Gradient 微积分:梯度
B.E.A.F Bower's Exploding Array Function
Calculus 11e 2.3 Product and Quotient Rules 积和商的求导
Calculus:First Type Curve Integral 微积分:第一类曲线积
Calculus 11e 2.1 The Derivative 3
Calculus:Lagrange mean value theorem 拉格朗日中值定理
Calculus 11e 1.Limits and Their Properties 2
Calculus:Curvature 3 微积分:曲率 3
Calculus 11e 2.1 The Derivative
Calculus 11e 2.1 The Derivative 2
Group Theory 36 Division Groups 群论入门 36 除法群
Calculus:First Type Curvature Integrals 3
Harmonic Series 调和级数
Group Theory 38 Banach-Tarski Paradox 群论入门 38 巴拿赫-塔斯基 分球悖论
Calculus:Double Triple Integral Definition 微积分:二重、三重积分定义
Calculus:Curvature 2 微积分:曲率 2
Calculus:Partial Derivative 2 微积分:偏导数2
Group Theory 7 Permutation Transposition
Group Theory 10 Cyclic permutation 群论入门 10 轮换
Group Theory 27 Special Fields 群论入门 27 特殊的域
Group Theory 6 Isomorphism Homomorphism 群论:同构、同态
Calculus:Triple Integral 微积分:三重积分
Group Theory 13 Summary 群论入门小结
Calculus - 11th Edition P.Preparation for Calculus
Group Theory 14 Rubik's Cube 群论入门 14 魔方
Group Theory 16 Futurama 群论入门 16
Group Theory 21 Hungarian Rings Groups 群论入门 20 匈牙利环
Calculus:Curvature Integrals 1 微积分:曲线积分 1
Calculus 11e 2.4 The Chain Rule 链式法则
Calculus:Second Type Curvature Integrals 1
Group Theory 28 Special Rings 群论入门 28 特殊的环