MARC状态:已编 文献类型:中文图书 浏览次数:21
- 题名/责任者:
- 集论与逻辑:面向计算机科学/沈恩绍著
- 出版发行项:
- 北京:科学出版社,2003
- ISBN及定价:
- 7-03-011047-1/CNY18.00
- 载体形态项:
- 10,198页;24cm
- 其它题名:
- 面向计算机科学
- 个人责任者:
- 沈恩绍 著
- 学科主题:
- 集论-高等学校-教材
- 学科主题:
- 数理逻辑-高等学校-教材
- 学科主题:
- 集论
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O144
- 中图法分类号:
- O141-43
- 一般附注:
- 21世纪高等院校教材
- 一般附注:
- 其他题名:面向计算机科学
- 书目附注:
- 附参考文献
- 提要文摘附注:
- 本书由基础集论与经典(一阶)逻辑两部分内容组成。集论部分的范围与常规教材大体相似,区别在于相关内容的展开方式与深度;逻辑部分包括通常在研究生课程中才介绍的完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
O144/6 | 512992 | 密集库1 | 可借 | |
O144/6 | 512994 | 密集库1 | 可借 | |
O144/6 | 512995 | 洪庆校区 | 可借 | |
O144/6 | 512996 | 洪庆校区 | 可借 | |
O144/6 | 512991 | 内阅图书 | 可借 | |
O144/6 | 512993 | 金花馆 | 可借 |
显示全部馆藏信息