MARC状态：审校 文献类型：中文图书 浏览次数：20
- 题名/责任者:
- 计算机科学的逻辑基础/(美) 雷克斯·佩奇, 鲁本·冈博亚著 汪荣贵, 陈朗, 汪雄飞译
- 出版发行项:
- 北京:机械工业出版社,2021.06
- ISBN及定价:
- 978-7-111-68222-6/CNY99.00
- 载体形态项:
- XI, 222页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 佩奇 (Page, Rex) 著
- 个人责任者:
- 冈博亚 (Gamboa, Ruben) 著
- 个人次要责任者:
- 汪荣贵 译
- 个人次要责任者:
- 陈朗 译
- 个人次要责任者:
- 汪雄飞 译
- 学科主题:
- 电子计算机-逻辑设计
- 中图法分类号:
- TP302.2
- 中图法分类号:
- TP302
- 一般附注:
- 华章教育
- 出版发行附注:
- 由MIT Press 通过Bardon-Chinese Media Agency授权出版
- 责任者附注:
- 雷克斯·佩奇, 美国俄克拉荷马大学计算机科学学院荣休教授, 专注于设计和开发可靠的数字电路和软件的方法, 在学术界和工业界从事可靠软件领域的研发工作已有40年。鲁本·冈博亚, 怀俄明大学工程与应用科学学院计算机科学系教授, 主要研究基于半自动化证明引擎ACL2的自动定理证明。
- 书目附注:
- 有索引
- 提要文摘附注:
- 本书以实际问题的求解为导向, 对计算机科学的逻辑基础知识进行了介绍、讨论和归纳, 实现了逻辑与计算机之间的知识贯通。主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分, 采用三种形式化表示法, 即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
全部MARC细节信息>>