西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

11,222页:图;26cm

并列正题名:

Essential logic for computer science

丛编项:

计算机科学丛书

个人责任者:

(美) 佩奇 (Page, Rex) 著

个人责任者:

(美) 冈博亚 (Gamboa, Ruben) 著

个人次要责任者:

汪荣贵 (1966-) 译

个人次要责任者:

陈朗 译

个人次要责任者:

汪雄飞 译

学科主题:

电子计算机-逻辑设计

中图法分类号:

TP302.2

版本附注:

由MIT Press通过Bardon-Chinese Media Agency授权出版

提要文摘附注:

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

豆瓣简介：