[离散数学]王兵山张强毛晓光

【离散数学】王兵山张强毛晓光.pdf离散数学 王兵山张强毛晓光 长沙本书分7章系统介绍了集合论、数理逻辑、图论等离散数学最基本的内容可作为计算机软件 专业和硬件专业的离散数学“课程教材,也可供从事计算机工作的科研人员、工程技术人员及其他 有关人员参考。一般说来,阅读本书不需要具备高等数学知识但希望读者具有一定的逻辑思维能 力,且经过一定的数学训练。由于离散数学是一门数学,因此本书力求叙述严格,证明与推 导的逻辑性强,思路清楚,使学生通过本课程的学习后能得到严格的逻辑推理与抽象思维 能力的训练.全书共分七章。前三章叙述朴素集合论的基本内容。第四章至第六章是数理逻辑,与 其它离散数学教材不同的是,本书引人了比较严格的自然推理系统,以及在人工智能中应 用广泛的艾尔布朗定理。第七章是图论,力求使定义和定理的叙述严格而明确。本书中习 题数量较多,其中大部分是基本的,只要熟悉了教材的基本内容即可做出。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。