现代逻辑丛书(共6册),这套丛书还有 《一阶逻辑和一阶理论》《逻辑演算》《模态逻辑》《西方形式逻辑史》《集合论导引》。 喜欢读"递归论导论"的人也喜欢 ··· Godel's Incompleteness Theorem... Computability 8.8 一阶逻辑和一阶理论 8.4 Lambda-Calculus and Combinator... 9.3 蒯因著作集(第...
递归论导论_ 下载积分: 0 内容提示: 第一章导言和预备知识递归论是数理逻辑的一个重要分支 它与证明论、模型论及公理集合论合称 “四论” 构成数理逻辑的核心内容。 递归论也叫可计算性理论 它所研究的对象是递归函数 也叫可计算函数 及其定义域。 对于递归函数有许多不同 但彼此等价 的定义方法 这些定义的...
作者:郭世铭著 出版社:中国社会科学出版社 丛编项:现代逻辑丛书 标签:递归论 ISBN:9787500422952出版时间:1998-01-01包装: 开本:20cm页数:178页字数: 内容简介 此项研究成果受国家社会科学基金资助。 作者简介 暂缺《递归论导论》作者简介 图书目录 暂缺《递归论导论》目录...