书目信息 |
| 题名： |
计算机科学的逻辑基础
|
|
| 作者： | 佩奇 ， 冈博亚 著 ；汪荣贵 ， 陈朗 ， 汪雄飞 译 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021.06 |
|
| 页数： | XI, 222页 | |
| 开本： | 26cm | |
| 丛书名： | 计算机科学丛书 | |
| 单 册： | ||
| 中图分类： | TP302.2 | |
| 科图分类： | ||
| 主题词： | 电子计算机--dian zi ji suan ji--逻辑设计 | |
| 电子资源： | ||
| ISBN： | 978-7-111-68222-6 | |
| 000 | 01781nam 2200361 450 | |
| 001 | 202021192019 | |
| 005 | 20211025120131.0 | |
| 010 | @a978-7-111-68222-6@dCNY99.00 | |
| 100 | @a20210922d2021 em y0chiy50 ea | |
| 101 | 1 | @achi@ceng |
| 102 | @aCN@b110000 | |
| 105 | @aa z 001yy | |
| 106 | @ar | |
| 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.06 | |
| 215 | @aXI, 222页@c图@d26cm | |
| 225 | 2 | @a计算机科学丛书@Aji suan ji ke xue cong shu |
| 300 | @a华章教育 | |
| 306 | @a由MIT Press 通过Bardon-Chinese Media Agency授权出版 | |
| 314 | @a雷克斯·佩奇, 美国俄克拉荷马大学计算机科学学院荣休教授, 专注于设计和开发可靠的数字电路和软件的方法, 在学术界和工业界从事可靠软件领域的研发工作已有40年。鲁本·冈博亚, 怀俄明大学工程与应用科学学院计算机科学系教授, 主要研究基于半自动化证明引擎ACL2的自动定理证明。 | |
| 320 | @a有索引 | |
| 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@c20210909 |
| 905 | @a河南城建学院图书馆@dTP302.2@eP428 | |
| 计算机科学的逻辑基础/(美) 雷克斯·佩奇, 鲁本·冈博亚著= Essential logic for computer science/Rex Page, Ruben Gamboa/汪荣贵, 陈朗, 汪雄飞译.-北京：机械工业出版社，2021.06 |
| XI, 222页：图；26cm.-(计算机科学丛书) |
| 华章教育 |
| ISBN 978-7-111-68222-6：CNY99.00 |
| 本书以实际问题的求解为导向, 对计算机科学的逻辑基础知识进行了介绍、讨论和归纳, 实现了逻辑与计算机之间的知识贯通。主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分, 采用三种形式化表示法, 即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 |
| ● |
| 相关链接 |
|
|
|
正题名：计算机科学的逻辑基础
索取号：TP302.2/P428
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1541073 | 215410730 | 自科库301/301自科库 101排5列2层/ [索取号:TP302.2/P428] | 在馆 | |
| 2 | 1541074 | 215410749 | 自科库301/301自科库 101排5列2层/ [索取号:TP302.2/P428] | 在馆 |