浙江药科职业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

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表示法实现逻辑推理。

豆瓣简介：