文章目录
一 命题逻辑的等值演算和推理演算
- 理解并掌握命题逻辑的基本概念,熟练掌握五个常用的命题联结词及其真值表,掌握命题与真值表的关系,以及由简单命题通过联结词构造复合命题的方法。
- 掌握重言式、永假式和可满足公式的区别与判别方法;理解命题形式化的步骤与方法,能够熟练地将简单自然语句利用命题联结词进行形式化。
- 掌握和理解命题公式等值的概念,掌握命题公式等值的判别方法。
- 熟悉基本的等值公式;对于常用的等值公式,能在理解的基础上熟记并能在等值演算中灵活使用。
- 了解联结词完备集的概念,掌握判别联结词完备集的方法,1解对偶式的基本概念。
- 理解范式的概念和范式定理,深入理解主析取范式和主合取范式的构成,能够熟练地将命题公式化成相应的主析取范式和主合取范式。
- 理解推理公式的基本结构,熟悉基本的推理公式,掌握推理公式的不同证明方法。
- 理解基本的推理规则,掌握使用推理规则进行推理演算的方法。
- 理解归结推理规则,掌握用归结推理法证明的方法。
- 了解命题逻辑的公理系统的概念和基本构成,进行定理推演的过程和方法。
二 谓词逻辑的等值演算和推理演算
- 理解谓词、个体词、函数和量词的概念,重点解决使用谓词逻辑描述自然语句的表达问题,能够熟练地将一些复杂的自然语句进行形式化描述。
- 了解有限域下全称量词和存在量词的表示法,理解它在谓词逻辑中的重要作用。
时公收i - 了解普遍有效公式、可满足式和不可满足式的概念和划分方法,知道一阶谓词逻辑的判定问题的基本内容以及有关的主要结论。
- 理解谓词逻辑公式等值的概念,掌握否定型等值式的不同形式及其证明方法。
- 了解量词对不同联结词的分配律,掌握量词分配等值式的证明方法。
- 理解范式的概念,掌握前東范式的定义以及Skolem标准形的构成,会求谓词逻辑公式的前東范式和仅保留全称量词的前束范式。
- 熟悉谓词逻辑的基本推理公式,能够给出解释性的证明和其他推理公式正确性的判断。
- 理解谓词逻辑有关量词的四条推理规则,掌握使用推理规则进行推理演算的方法。
- 理解谓词逻辑的归结推理法的证明过程,掌握用归结法证明推理公式的方法。
三 集合与关系
- 深入理解并掌握集合的概念和不同的表示方法,能够熟练地月调间形式来描述集合中元素的性质;理解集合间的关系和特殊集合练掌握集合的基本运算。
- 理解集合运算的性质和主要证明方法,能够用谓词演算或集合恒等式的方法证明集合的相等、包含或进行集合公式的化简。
- 丁解集合基数的概念,掌握有限集合基数的计算方法,理解包含排斥原理及其具体应用。
- 对集合论公理系统有概貌的了解,理解无穷公理以及自然数集合在集合论中的表示。
- 理解二元关系的概念,掌握关系矩阵表示法和关系图画法。深人理解关系的某些特殊性质,包括自反性、非自反性、对称性、反对称性和传递性以及它们之间的关系。
- 了解关系的闭包的定义及其性质;掌握已知关系R的自反对称和传递闭包的构造方法。
- 深入理解等价关系和划分的概念,掌握相关的证明思路与方法。了解相容关系和覆盖的概念以及它们与等价关系和划分的主要区则。
- 深入理解偏序关系和哈斯图的概念;掌握用哈斯图表示偏序集的方法;了解拟序关系、全序关系和链等概念。
- 理解函数的定义,特别是任意集合上的函数的概念,深入理解函数的单射、满射和双射的概念。掌握从集合A到集合B构造双射函数的方法。
- 理解集合等势的概念,掌握判断集合等势的方法。了解有限集合与无限集合的严格定义,熟悉无限集合基数的记法和康托尔定理、连续统假设的内容以及目前的基本结论。
四 图论的基本概念、路与回路
- 理解并熟练掌握图论的最基本的概念,包括图、度、简单图、完全阁,正则图等
和 - 掌握图的最基本的性质。
- 掌握图的邻接矩阵和关联矩阵表示方法以及它们各自的性质
- 掌握有向图与无向图的途径与闭途径,路与回路,有向途径(有向链)、有向路、有向回路、有向迹与有向闭迹、连通图等的定义及性质。
- 掌握欧拉环游与欧拉迹的定义以及存在欧拉环游的充分必要
条件。 - 掌握与汉密尔顿图相关的定义以及相关定理。
- 掌握图的着色的基本内容。
- 了解求图的最短路、最小树等的基本算法。
五 树、平面图与图的着色
- 熟悉并掌握树的等价定义及基本性质。
- 掌握连通图中支撑树数目的计算方法。
体 - 熟悉并掌握赋权连通图中最短支撑树的Kruskal算法。
- 熟练掌握欧拉公式,了解极大平面图的有关性质。
- 掌握对偶图的定义与构造方法,学会利用对偶图求解基本
问题。 - 熟悉色数的定义、有关定理和简单图形的色数计算。
- 掌握简单图形的色多项式的计算。
六 代数结构
- 熟练掌握代数系统的基本概念,如n元运算、单位元、逆元、半群、含么半群等。
- 理解同态与同构的有关定义,并能够进行简单证明。
- 深入理解群的有关基本知识与基本定理。
- 深入理解循环群的定义及相关定理,掌握群同构概念。
- 掌握交换群、置换群概念,及轮换、对换计算,了解Cayley定理。
- 掌握陪集的定义、性质及群的陪集分解,了解Lagrange定理。
- 掌握正规子群的定义和性质,了解商群。
- 了解同态核定义及同态基本定理。
的a作 - 掌握环域的定义及基本性质。na1
七 排列与组合
- 熟练运用加法法则和乘法法则,运用这些法则解决各种比较简单的计数问题。在解决计数问题的过程中注意使用合理分类和模型转换的技巧
- 熟练掌握无重排列、无重组合、可重排列、重数给定的排列、圆排列、项链排列等概念及其计数公式的推导,并能熟练运用这些概念和计数公式解决各种问题。利用重数给定的排列及其计数公式给出多项式展开的系数计算公式,并将其与不同的球放人不同的盒子,每盒球数给定的模型联系起来。
- 利用模型转换技巧解决不易直接计算的计数问题。
- 利用不同方法推导可重组合及隔位组合的计算公式。
- 利用计算公式、归纳法和建立适当的组合模型的方法证明一些基本的组合恒等式。
- 应用各种组合模型及其计数方法解决各种相关的问题。
八 母函数与递推关系
- 掌握序列和它的母函数的关系,掌握形式幂级数的基本运算。
- 掌握根据已知具体序列的基本性质求其递推关系,再利用母函数解递推关系,得到序列的表达式的方法。
- 掌握根据Fibonaci数列的基本性质列出其递推关系,再利用母函数求解其递推关系,即给出序列的表达式的方法。掌握利用Fibonaci数列的递推关系,证明一些与Fibonacci数列相关的恒等式。 掌握利用Fibonacci数列在优选法中的简单应用。
- 掌握利用母函数法解一般线性常系数递推关系的方法。掌握无重根、有重根和有共轭复根3种情况下求序列表达式的方法。
- 掌握整数拆分的基本概念和一些简单方法。利用Ferrer图像解决一些拆分的计数问题。掌握根据错排的定义,求错排数列的递推关系的方法及利用母函数求解错排数列的表达式的方法。掌握利用递推关系和母函数解决一些应用问题的方法。了解Stirling数的组合意义。了解用不同方法给出Catalan数的计数公式。
九 容斥原理和鸽巢原理
- 掌握容斥原理的基本公式并利用基本公式解决一些应用问题。
- 掌握利用容斥原理基本公式解错排问题的方法。
- 掌握利用棋盘多项式的概念解决一些有限制的排列问题。
- 掌握二项式反演和Mobius反演的基本方法,解决一些问题。
- 掌握鸽巢原理的几种表述方法,并用鸽巢原理解决一些问题。
注意将鸽巢原理与一些别的数学概念及技巧结合起来应用的方法。 - 掌握分析一些典型的Ramsey问题的方法。
- 掌握推算一些简单的Ramsey数的方法。
十 Polya 定理
- 掌握群的基本概念和定理。
- 掌握置换群的基本概念。
- 掌握置换的轮换、对换等表示方法和奇偶置换的概念。掌握正多面体的计算方法和转动群的分析方法。
- 掌握含不动点的置换子群、置换群作用下对象的轨道(等价类)等概念。掌握推导Burnside引理、Polya定理的方法。利用Burnside引理和Polya定理解决一些应用问题。
- 掌握母函数型Polya定理的推导和应用。
- 利用Polya定理解决图的计数问题。