广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算机科学的逻辑基础/(美) 雷克斯·佩奇, 鲁本·冈博亚著 汪荣贵, 陈朗, 汪雄飞译

出版发行项:

北京:机械工业出版社,2021.6

ISBN及定价:

978-7-111-68222-6/CNY99.00

载体形态项:

xi, 222页:图;26cm

统一题名:

Essential logic for computer science

丛编项:

计算机科学丛书

个人责任者:

佩奇 (Page, Rex) 著

个人责任者:

冈博亚 (Gamboa, Ruben) 著

个人次要责任者:

汪荣贵 译

个人次要责任者:

陈朗 译

个人次要责任者:

汪雄飞 译

学科主题:

电子计算机-逻辑设计-高等学校-教材

中图法分类号:

TP302.2

一般附注:

华章教育

出版发行附注:

本书中文简体字版由MIT Press通过Bardon-Chinese Media Agency授权机械工业出版社在中华人民共和国境内 (不包括香港、澳门特别行政区及台湾地区) 独家出版发行

责任者附注:

雷克斯·佩奇 (Rex Page), 美国俄克拉荷马大学计算机科学学院荣休教授, 专注于设计和开发可靠的数字电路和软件的方法, 在学术界和工业界从事可靠软件领域的研发工作已有40年。鲁本·冈博亚 (Ruben Gamboa), 怀俄明大学工程与应用科学学院计算机科学系教授, 主要研究基于半自动化证明引擎ACL2的自动定理证明。

书目附注:

有索引

提要文摘附注:

本书以实际问题的求解为导向, 对计算机科学的逻辑基础知识进行了介绍、讨论和归纳, 实现了逻辑与计算机之间的知识贯通。本书主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分, 采用三种形式化表示法, 即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。

使用对象附注:

本书不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材, 也可供广大计算机爱好者、计算机及相关领域的科研人员和工程技术人员自学参考

豆瓣简介：