2015年12月20日

lambda创世纪

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

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

导航