|
题名:
|
计算机科学的逻辑基础 / (美)雷克斯·佩奇(Rex Page)，(美)鲁本·冈博亚(Ruben Gamboa)著 , 汪荣贵，陈朗，汪雄飞译 |
|
ISBN:
|
978-7-111-68222-6 价格： CNY99.00 |
|
语种:
|
chi |
|
载体形态:
|
11,222页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021 |
|
内容提要:
|
本书以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。本书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 |
|
主题词:
|
电子计算机 逻辑设计 |
|
中图分类法:
|
TP302.2 版次： 5 |
|
主要责任者:
|
佩奇 著 |
|
主要责任者:
|
冈博亚 著 |
|
次要责任者:
|
汪荣贵 译 |
|
次要责任者:
|
陈朗 译 |
|
次要责任者:
|
汪雄飞 译 |