MARC状态:审校 文献类型:中文图书 浏览次数:5
- 题名/责任者:
- 计算机科学的逻辑基础/(美) 雷克斯·佩奇, 鲁本·冈博亚著 汪荣贵, 陈朗, 汪雄飞译
- 出版发行项:
- 北京:机械工业出版社,2021
- ISBN及定价:
- 978-7-111-68222-6/CNY99.00
- 载体形态项:
- xi, 222页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 佩奇 (Page, Rex) 著
- 个人责任者:
- 冈博亚 (Gamboa, Ruben) 著
- 个人次要责任者:
- 汪荣贵 译
- 个人次要责任者:
- 陈朗 译
- 个人次要责任者:
- 汪雄飞 译
- 学科主题:
- 电子计算机-逻辑设计
- 中图法分类号:
- TP302.2
- 一般附注:
- 华章教育
- 出版发行附注:
- MIT Press 通过Bardon-Chinese Media Agency授权出版 限中国大陆发行
- 提要文摘附注:
- 本书以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。全书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
全部MARC细节信息>>