文献类型:专著 浏览次数:3
  • 题名:计算机科学的逻辑基础
  • 责任者:(美)雷克斯·佩奇(Rex Page),(美)鲁本·冈博亚(Ruben Gamboa)著
  • 出版社机械工业出版社
  • 出版年:2021.06
  • ISBN:978-7-111-68222-6
  • 定价:99.00
  • 载体形态项:11,222页 26cm
  • 个人责任者:佩奇著、冈博亚著、汪荣贵译、陈朗译、汪雄飞译
  • 学科主题:电子计算机
  • 中图法分类号:TP302.2
  • 提要文摘附注:本书以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通类型 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码