-
计算机科学的逻辑基础
¥74.3(7.5折)定价:¥99.0《计算机科学的逻辑基础》以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。 《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 《计算机科学的逻辑基础》不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材,也可供广大计算机爱
《计算机科学的逻辑基础》以实际问题的求解为导向,对计算机科学的逻辑基础知识进行了介绍、讨论和归纳,实现了逻辑与计算机之间的知识贯通。 《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分,采用三种形式化表示法,即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。 《计算机科学的逻辑基础》不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材,也可供广大计算机爱
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394