MARC状态:已编 文献类型:中文图书 浏览次数:12
- 题名/责任者:
- 数理逻辑/张再跃, 张晓如编著
- 出版发行项:
- 北京:清华大学出版社,2013
- ISBN及定价:
- 978-7-302-33102-5/CNY23.00
- 载体形态项:
- 135页;26cm
- 个人责任者:
- 张晓如 编著
- 个人责任者:
- 张再跃 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 中图法分类号:
- O141
- 一般附注:
- 中国高等学校计算机科学与技术专业(应用型)规划教材/陈明主编
- 提要文摘附注:
- 本书在内容组织上包括集合论基础知识、可计算性理论基础知识和经典数理逻辑3个部分,其中集合论基础部分着重介绍可数集与不可数集的概念,并运用集合的基数以及基数的比较等有关知识,阐述“无穷可比”的思想;可计算性理论基础部分以递归函数、图灵计算和理想计算机为对象,从多个角度给出“计算”概念的精确描述;经典逻辑部分包括命题逻辑和谓词逻辑等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
O141/24 | S2353487 | 总馆—自然书库(凤阳) | 可借 | |
O141/24 | S2353488 | 总馆—自然书库(凤阳) | 可借 | |
O141/24 | S2353489 | 总馆—自然书库(凤阳) | 可借 |
显示全部馆藏信息