无锡市图书馆书目检索系统

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授权

书目附注:

有索引

提要文摘附注:

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

使用对象附注:

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

豆瓣简介：