排列组合c怎么算 λ-演算与组合算符初步介绍

　　J. Roger Hindley 　　Lambda�Calculus and 　　Combinators 　　An Introduction 　　2008；
　　Hardback
　　ISBN9780521898850
　　
　　J.R.欣德利等著
　　λ-演算和组合逻辑是逻辑的两个系统，它们都发挥了抽象编程语言的作用。这两者都旨在描述程序的极为通用的性质。在某些方面，它们是互相竞争的，在其他它们又是相互支撑的。λ-演算是美国逻辑学家A.Church在1930年左右发明的，它是作为包括高阶算子(即可以作用于其他算子的算子)在内的概括逻辑系统的一部分。事实上λ-演算语言或某些本质上等价的表示法，是大多数高阶语言的关键部分，无论这种语言是逻辑的，还是计算机编程的。本书的目的就是向读者介绍这两个领域的基本方法与结果。作者并不要求读者具有这两个领域的初步知识，但是要求读者具有一些有关命题逻辑、谓词逻辑和递归函数的知识，并且具有某些数学归纳法的经验。
　　本书共有16章。1.λ-演算；2.组合逻辑；3.λ的幂与组合算符；4.可计算函数的表示；5.不可判定性理论；6.形式理论：λ-β与CLw；7.λ�演算中的外延；8.组合逻辑中的外延性；9.λ与组合逻辑之间的对应；10.简单类型化：Church式样；11.简单类型化：组合逻辑的Curry式样；12.简单类型化：λ中的Curry式样；13.类型化推广；14.组合逻辑模型；15.λ-演算模型；16.Scott的D∞与其他模型。最后是5个附录。
　　本书值得向任何想要研究组合逻辑与λ-演算的逻辑学家及计算机科学家郑重推荐。
　　胡光华，
　　高级软件工程师
　　(原中国科学院物理学研究所)
　　Hu Guanghua, Senior Software Engineer
　　(Former Institute of Physics,CAS)