计算机科学的逻辑基础_[美] 雷克斯·佩奇（Rex Page）著，汪荣贵，陈朗，汪雄飞译_9787111682226

　　《计算机科学的逻辑基础》以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。
　　《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
　　《计算机科学的逻辑基础》不仅可以作为高等学校计算机、人工智能、大数据及相关专业的逻辑课程教材，也可供广大计算机爱好者、计算机及相关领域的科研人员和工程技术人员自学参考。
　　《计算机科学的逻辑基础》以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，完美地实现了逻辑与计算机之间的知识贯通。
　　《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。
　　《计算机科学的逻辑基础》特色：
　　知识体系的组织结构突破了传统的数学框架，直接面向与计算机科学相关的逻辑主题，将逻辑用于解决计算机科学领域的重要问题。
　　结合生动有趣的具体应用实例介绍逻辑知识和证明方法，能够有效地激发读者的学习兴趣，特别有助于培养读者的逻辑思维和数学思维。
　　采用三种形式化表示方法实现逻辑推理并将ACL2作为逻辑证明引擎，通过实际应用效果生动地验证了软件和硬件工程师均可以从逻辑（包括机械化逻辑）的学习中获益。

　　作为思维的基本形式和基本规则，逻辑构成了人类思维和机器思维的共同基础，也是计算机科学与信息科学的理论基础。事实上，无论是计算机硬件还是计算机软件，它们都是一组逻辑组件的某种特定表现形式。具备严谨的逻辑思维能力对于计算机系统研发人员的重要性是毋庸置疑的。然而，逻辑思维能力的培养并不是一件很容易的事情，通常需要经历一定的理论学习和实际训练。目前，计算机专业的学生主要是通过离散数学等数学课程进行形式逻辑方面的学习，而不是直接面向计算机专业内容讨论计算机科学的基本逻辑，这使得学生接触到的逻辑知识与计算机科学的关系较为松散，不利于逻辑与计算机之间的知识贯通。本书可以很好地弥补这方面的不足。它以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了比较系统的介绍、讨论和归纳，较好地实现了逻辑与计算机之间的知识贯通，可以有效地培育和提升读者的逻辑思维能力，使其能够在计算机逻辑方面获得比较系统的专业训练，从而能够更加高效地从事计算机软硬件产品的研发工作。本书的基本特点主要表现在如下三个方面：
　　第一，知识体系的组织结构突破了传统的数学框架，内容主要包括逻辑与等式、计算机算术、算法、计算实践四个部分，直接关注与计算机科学相关的逻辑主题，将逻辑用于解决计算机科学领域的问题，包括硬件组件、软件组件、测试和验证以及算法分析，逻辑知识与计算机知识的联系更加紧密，实现了两者的深度融合，特别适合用来对计算机专业人员进行系统性的逻辑训练。
　　第二，在可读性方面做了很好的设计，主要通过一些生动有趣的具体应用实例介绍逻辑知识和证明方法，能够有效地激发读者的学习兴趣，培养读者的逻辑思维和数学思维能力。例如，通过石头、剪刀、布这个简单的游戏深入浅出地阐述程序的基本结构和基于等式的程序模型，生动地解释了在基于等式的模型中，程序为何完全由基于操作数的数学函数组成，为何可以使用经典逻辑和传统代数公式来理解基于等式的程序。通过介绍深蓝计算机系统的基本工作原理来介绍归纳定义，使得读者能够清楚地认识到，对于计算机系统和逻辑系统而言，再复杂的行为通常也是从最初简单的行为演变而来，再复杂的理论通常也是建立在一些简单的基本原则基础之上。
　　第三，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法，使得学生可以借助软件工具比较容易地学习机械化逻辑的相关知识。本书使用ACL2作为逻辑证明引擎，ACL2提供了比任何其他工具更容易理解的机械化逻辑证明形式，通过事实生动地说明软件和硬件工程师可以如何从逻辑（包括机械化逻辑）中受益。当读者在检查证据和处理证明细节的很多方面得到ACL2软件工具的有效支持时，会非常开心并且更有学习动力。

你还可能感兴趣

我要评论