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表示法实现逻辑推理。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1541073
215410730
自科库301/301自科库 45排7列5层/
[索取号:TP302.2/P428]
在馆
2
1541074
215410749
自科库301/301自科库 45排7列5层/
[索取号:TP302.2/P428]
在馆
