机读格式显示(MARC)
- 000 01448oam2 2200325 450
- 010 __ |a 978-7-111-68222-6 |d CNY99.00
- 100 __ |a 20210810d2021 em y0chiy50 ea
- 200 1_ |a 计算机科学的逻辑基础 |9 ji suan ji ke xue de luo ji ji chu |b 专著 |d Essential logic for computer science |f (美)雷克斯·佩奇(Rex Page),(美)鲁本·冈博亚(Ruben Gamboa)著 |g 汪荣贵,陈朗,汪雄飞译 |z eng
- 210 __ |a 北京 |c 机械工业出版社 |d 2021
- 215 __ |a 11,222页 |c 图 |d 26cm
- 225 2_ |a 计算机科学丛书 |9 ji suan ji ke xue cong shu
- 305 __ |a 由MIT Press通过Bardon-Chinese Media Agency授权出版
- 330 __ |a 本书以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。本书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
- 461 _0 |1 2001 |a 计算机科学丛书
- 510 1_ |a Essential logic for computer science |z eng
- 701 _0 |c (美) |a 佩奇 |9 pei qi |c (Page, Rex) |4 著
- 701 _0 |c (美) |a 冈博亚 |9 gang bo ya |c (Gamboa, Ruben) |4 著
- 702 _0 |a 汪荣贵 |f (1966~) |9 wang rong gui |4 译
- 702 _0 |a 陈朗 |9 chen lang |4 译
- 702 _0 |a 汪雄飞 |9 wang xiong fei |4 译
- 801 _0 |a CN |b YNNI |c 20230529
- 905 __ |a YNNI |d TP302.2/2740