更新时间:-- | 阅读量: 185
数理逻辑和数学基础专著。塞·西·克林著。...第11章介绍了一般递归函数、递归函数形式体系的算术化、μ运算子、枚举、对角过程、范式、波斯特定理、丘奇定理、广义哥德尔定理以及哥德尔定理的对称形。第12章介绍了部分递归函数、丘奇论点、3值逻辑 ...
搜索到与“ 枚举算子”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
