南京信息工程大学2019考研大纲：T20离散数学
考研大纲频道为大家提供南京信息工程大学2019考研大纲：T20离散数学，一起来了解一下吧！更多考研资讯请关注我们网站的更新!南京信息工程大学2019考研大纲：T20离散数学科目代码：T20科目名称：离散数学一、数理逻辑1.掌握命题、命题联结词的概念;理解命题公式的递归定义，熟练掌握命题符号化的方法，掌握命题公式真值表的求法。2.了解范式的概念，掌握求命题公式的析取范式、合取范式、主式的方法。3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。4.掌握常用的推理规则和证明方法。5.理解谓词、量词、谓词公式、自由变元和约束变元的概念。6.掌握谓词演算基本的永真公式。7.会利用谓词演算的推理规则进行简单的推理。二、集合1. 掌握子集、空集、全集、相等、幂集等基本概念。2. 理解集合的基本概念表示法;掌握集合的交、并、差、补等概念及交换律、结合律、分配律、De Morgan律等运算律，证明集合等式。3.掌握集合的笛卡尔乘积的运算。三、二元关系1.理解关系及有关概念，掌握关系图、关系矩阵及关系的特性(自反性、反自反性、对称性、反对称性、传递性)。2.掌握关系的合成、关系的幂运算、关系合成及有关性质。3.掌握逆关系、关系的闭包运算(自反闭包、对称闭包、传递闭包)的性质及求法。4.掌握偏序集... [ 查看全文 ]南京信息工程大学2019考研大纲：T20离散数学的相关文章
