南京信息工程大学2019考研大纲：T20离散数学
考研大纲频道为大家提供南京信息工程大学2019考研大纲：T20离散数学，一起来了解一下吧！更多考研资讯请关注我们网站的更新!南京信息工程大学2019考研大纲：T20离散数学科目代码：T20科目名称：离散数学一、数理逻辑1.掌握命题、命题联结词的概念;理解命题公式的递归定义，熟练掌握命题符号化的方法，掌握命题公式真值表的求法。2.了解范式的概念，掌握求命题公式的析取范式、合取范式、主式的方法。3.了解与非、或非、异或、蕴含否定等联结词及联结词的归约。4.掌握常用的推理规则和证明方法。5.理解谓词、...