书目信息 |
| 题名： |
计算机科学的逻辑基础
|
|
| 作者： | 佩奇 ， 冈博亚 著 ；汪荣贵 ， 陈朗 ， 汪雄飞 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021 |
|
| 页数： | xi, 222页 | |
| 开本： | 26cm | |
| 丛书名： | 计算机科学丛书 | |
| 单 册： | ||
| 中图分类： | TP302.2 | |
| 科图分类： | ||
| 主题词： | 电子计算机--dian zi ji suan ji--逻辑设计 | |
| 电子资源： | ||
| ISBN： | 978-7-111-68222-6 | |
| 000 | 01552nam0 2200349 450 | |
| 001 | 2163724503 | |
| 005 | 20211027174251.19 | |
| 010 | @a978-7-111-68222-6@dCNY99.00 | |
| 035 | @aCAL 012021092260 | |
| 099 | @aCAL 012021092260 | |
| 100 | @a20210628d2021 em y0chiy50 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @aak z 001yy | |
| 200 | 1 | @a计算机科学的逻辑基础@Aji suan ji ke xue de luo ji ji chu@f(美) 雷克斯·佩奇, 鲁本·冈博亚著@d= Essential logic for computer science@fRex Page, Ruben Gamboa@g汪荣贵, 陈朗, 汪雄飞译@zeng |
| 210 | @a北京@c机械工业出版社@d2021 | |
| 215 | @axi, 222页@c图@d26cm | |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 300 | @a华章教育 | |
| 306 | @aMIT Press 通过Bardon-Chinese Media Agency授权出版 限中国大陆发行 | |
| 330 | @a本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。全书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 | |
| 410 | 0 | @12001 @a计算机科学丛书 |
| 500 | 10 | @aEssential logic for computer science@mChinese |
| 606 | 0 | @a电子计算机@Adian zi ji suan ji@x逻辑设计 |
| 690 | @aTP302.2@v5 | |
| 701 | 1 | @a佩奇@Apei qi@g(Page, Rex)@4著 |
| 701 | 1 | @a冈博亚@Agang bo ya@g(Gamboa, Ruben)@4著 |
| 702 | 0 | @a汪荣贵@Awang rong gui@4译 |
| 702 | 0 | @a陈朗@Achen lang@4译 |
| 702 | 0 | @a汪雄飞@Awang xiong fei@4译 |
| 801 | 0 | @aCN@b浙江省新华书店集团公司@c20210628 |
| 905 | @a241250@dTP302.2@e16 | |
| 计算机科学的逻辑基础/(美) 雷克斯·佩奇, 鲁本·冈博亚著= Essential logic for computer science/Rex Page, Ruben Gamboa/汪荣贵, 陈朗, 汪雄飞译.-北京：机械工业出版社，2021 |
| xi, 222页：图；26cm.-(计算机科学丛书) |
| 华章教育 |
| ISBN 978-7-111-68222-6：CNY99.00 |
| 本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。全书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 |
| ● |
| 相关链接 |
正题名：计算机科学的逻辑基础
索取号：TP302.2/16
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1907765 | 219077656 | 样本书库/ [索取号:TP302.2/16] | 在馆 | |
| 2 | 1907766 | 219077665 | 新区/5100060301/ [索取号:TP302.2/16] | 在馆 | |
| 3 | 1907767 | 219077674 | 新区/5100060206/ [索取号:TP302.2/16] | 在馆 |