同等考辅_离散数学与组合数学讲义.pdf

同 等 学 力 申 硕 离散数学与组合数学 讲义 主讲： 单志勇 博士 目录 引言 1 第一章 9 1.1 命题及其符号化 9 1.2 合式公式和真值赋值 14 第二章 20 2.1 等值关系及联结词全功能集 20 2.3 范式 25 第三章 命题逻辑自然推理 30 第四章 37 4.1~2 谓词和量词、一阶语言 37 4.3 一阶等值演算 43 4.4 一阶逻辑形式推理 48 第五章集合 55 5.1~5.3 集合的概念及其表示、运算、定律 55 5.4 有限集计数问题 62 第六章关系 68 6.1~3 二元关系及其表示、性质、运算 68 6.4 特殊关系及性质 75 第七章函数 81 7.1~7.3 函数的基本概念、合成、反函数 81 7.4～5 特殊函数及集合的基数 85 同等学力申硕_离散数学讲义 引言 一、课程内容 ·数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理， 这对程序设计等课程是极有用处的。 ·集合论：数学的基础，对于学习程序设计、数据结构、编译原理等几乎所有计算机专业课程和数学课 程都很有用处。熟练掌握有关集合、函数、关系等基本概念。 ·代数结构：对于抽象数据类型、形式语义的研究很有用处。培养数学思维，将以前学过的知识系统化、 形式化和抽象化。熟练掌握有关代数系统的基本概念，以及群、环、域等代数结构的基本知识。 ·图论：对于解决许多实际问题很有用处，对于学习数据结构、编译原理课程也很有帮助。要求掌握有 关图、树的基本概念，以及如何将图论用于实际问题的解决，并培养其使用数学工具建立模型的思维方 式。 ·讲课时间为两个学期，第一学期讲授数理逻辑与集合论，第二学期讲授代数结构和图论。考试内容限 于书中的内容和难度，但讲课内容不限于书中的内容和难度。 二、数理逻辑发展史 1. 目的 ·了解有关的背景，加深对计算机学科的全面了解，特别是理论方面的了解，而不限于将计算机看成是 一门技术或工程性的学科。 ·通过重要的历史事件，了解计算机科学中的一些基本思维方式和一些基本问题。 2. 数理逻辑的发展前期 ·前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论 ·初创时期——逻辑代数时期（17 世纪末） ·资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重 要的作用。 ·人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。 ·莱布尼兹(Leibniz, 1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想： ·提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容 的思考，将推理的规则变为演算的规则。 1 同等学力申硕_离散数学讲义 ·使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程 度上取决与符号的组合规律，而与其含义无关。 ·布尔(G. Boole, 1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一 种代数系统，也是一种逻辑演算。 3. 数理逻辑的奠基时期 ·弗雷格(G. Frege, 1848~1925) ：《概念语言——一种按算术的公式语言构成的纯思维公式语言》(1879) 的出版标志着数理逻辑的基础部分——命题演算和谓词演算的正式建立。 ·皮亚诺(Giuseppe Peano, 1858~1932)：《用一种新的方法陈述的算术原理》(1889)提出了自然数算术的一 个公理系统。 ·罗素(Bertrand Russell, 1872~1970) ：《数学原理》(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词 演算开始，然后通过一元和二元命题函项定义了类