本书包括数理逻辑、集合论、图论和代数系统四部分内容。本书中定义、原理论述详细,通俗易懂,内容丰富,既注重对基本概念的论述,又注重原理的证明方法及其在计算机科学中的实际应用。每一章的后面都有对应本章知识点的习题,便于读者更深入理解和巩固所学的知识理论基础,在教授时建议64学时左右。本书可以作为计算机及相关专业的本科生教材,也可以作为计算机相关资格水平考试的参考书,同时也可以为从事计算机软、硬件开发和应用的人员提供参考。
本书包括数理逻辑、集合论、图论和组合与代数四部分内容。书中定义、原理论述详细,通俗易懂,内容丰富,既注重对基本概念的论述,又注重原理的证明方法及其在计算机科学中的实际应用。每章末都有对应本章知识点的习题,便于读者更深入理解和巩固所学的理论知识,讲授时建议64学时左右。 本书可以作为计算机及相关专业的本科生教材,也可以作为计算机相关资格水平考试的参考书,还可以为从事计算机软件、硬件开发和应用的人员提供参考。