2015年12月20日

lambda创世纪

摘要: lambda创世纪 lambda介绍 λ演算(英语:lambda calculus,λ calculus)是一应用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代引入。邱奇运用λ演算在1936年给出判定性问题(Entscheidungs... 阅读全文

posted @ 2015-12-20 10:46 德不孤 阅读(564) 评论(0) 推荐(0) 编辑

导航