MARC状态：审校 文献类型：中文图书 浏览次数：15
- 题名/责任者:
- 计算理论与符号逻辑/张兴元，王元元，宋丽华编著
- 出版发行项:
- 北京:科学出版社,2011
- ISBN及定价:
- 978-7-03-032410-8/CNY34.00
- 载体形态项:
- 270页;26cm
- 个人责任者:
- 张兴元 (计算机) 编著
- 个人责任者:
- 王元元 编著
- 个人责任者:
- 宋丽华 (计算机) 编著
- 学科主题:
- 计算技术-教材-理论-高等教育
- 学科主题:
- 数理逻辑-教材-高等教育
- 学科主题:
- 计算技术
- 学科主题:
- 数理逻辑
- 中图法分类号:
- TP301
- 中图法分类号:
- O141
- 中图法分类号:
- TP301
- 一般附注:
- 普通高等教育“十一五”国家级规划教材
- 相关题名附注:
- 封面英文题名：Computation theory and symbolic logic
- 提要文摘附注:
- 本书共十五章，主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。
全部MARC细节信息>>