高级数理逻辑第七章

【文件属性】：

文件名称：高级数理逻辑第七章

文件大小：562KB

文件格式：PPT

更新时间：2016-01-20 03:02:53

高级数理逻辑

高级数理逻辑第七章：λ-演算（Lambda 演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统