书目信息 |
| 题名： |
集论与逻辑
|
|
| 作者： | 沈恩绍 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2003.04 |
|
| 页数： | 198页 | |
| 开本： | 24cm | |
| 丛书名： | 21世纪高等院校教材 | |
| 单 册： | ||
| 中图分类： | O14 | |
| 科图分类： | ||
| 主题词： | 集论--高等院校--教材--数理逻辑--教材 | |
| 电子资源： | ||
| ISBN： | 7-03-011047-1 | |
| 000 | 01172nam 2200277 45 | |
| 001 | 0103120002 | |
| 005 | 20050523165335.42 | |
| 010 | @a7-03-011047-1@dCNY 18.00 | |
| 100 | @a20030217d2003 em y0chiy0121 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @aa a 000yy | |
| 200 | 1 | @a集论与逻辑@AJi Lun Yu Luo Ji@e面向计算机科学@f沈恩绍著@FShen En Shao Zhu |
| 210 | @a北京@c科学出版社@d2003.04 | |
| 215 | @a198页@c图@d24cm | |
| 225 | 2 | @a21世纪高等院校教材 |
| 320 | @a有书目。 | |
| 330 | @a本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机专业(本科)教材。集论部分强调公理化思想及构造性技巧，以较直观的方式给出了集论世界的“全景图”，但不是完整地介绍了公理集合论。逻辑部分采用了Tableaux作为形式化的演绎推理平台。这种语法证明系统更直观简单、易学易用，而且其思想在计算机科学与人工智能中有广泛的应用。 | |
| 333 | @a高等院校计算机专业(本科)、应用数学数理专业师生,感兴趣者。 | |
| 410 | 0 | @12001 @a21世纪高等院校教材 |
| 517 | 1 | @a面向计算机科学@AMian Xiang Ji Suan Ji Ke Xue |
| 606 | 0 | @a集论@x高等院校@x教材@x数理逻辑@x教材 |
| 690 | @aO14@v4 | |
| 701 | 0 | @a沈恩绍@AShen En Shao@4著 |
| 801 | 0 | @aCN@bQSSK@c20050523 |
| 905 | @a10447@dO14@eS386 | |
| 集论与逻辑：面向计算机科学/沈恩绍著.-北京：科学出版社，2003.04 |
| 198页：图；24cm.-(21世纪高等院校教材) |
| 使用对象：高等院校计算机专业(本科)、应用数学数理专业师生,感兴趣者。 |
| ISBN 7-03-011047-1：CNY 18.00 |
| 本书由基础集论与经典(一阶)逻辑两部分内容组成，为高标准的计算机专业(本科)教材。集论部分强调公理化思想及构造性技巧，以较直观的方式给出了集论世界的“全景图”，但不是完整地介绍了公理集合论。逻辑部分采用了Tableaux作为形式化的演绎推理平台。这种语法证明系统更直观简单、易学易用，而且其思想在计算机科学与人工智能中有广泛的应用。 |
| ● |
| 相关链接 |
|
|
|
正题名：集论与逻辑
索取号：O14/S386
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 498309 | 204983090 | 自科库401/401自科库 40排2列1层/ [索取号:O14/S386] | 在馆 | |
| 2 | 498310 | 204983107 | 自科库401/401自科库 40排2列1层/ [索取号:O14/S386] | 在馆 |