欢迎光临中图网 请 | 注册
秋景正好,书香满堂|每满88减40
>
关于“雷克斯·佩奇”检索到   共1种现货商品
分类:
出版社:
确定 取消
售价:
---
折扣:
  • 计算机科学的逻辑基础

    雷克斯·佩奇  /  2021-06-01  /  机械工业出版社
    ¥74.3(7.5折)定价:¥99.0

    《计算机科学的逻辑基础》以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。  《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。  《计算机科学的逻辑基础》不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材,也可供广大计算机爱

编辑推荐

中图网
返回顶部