[离散数学教学要求资料.docVIP

1、课程简介—本课程的教学内容简介、学习目标、重点、难点、学习要求等。 离散数学主要研究离散对象和它们之间的关系。它是现代数学的重要分支之一，是计算机科学的基础理论核心课程。离散数学的内容很广泛，包括数理逻辑、集合论、图论、代数结构积应用部分。它们来源于不同的数学分支，从不同的角度研究各种离散量之间的关系。 学习它目的是为计算机科学的数据结构、编译理论、操作系统、算法分析、人工智能等提供了必要的数学基础知识。 通过本课程的学习，期待各位学员对离散数学有一个较全面的概念，培养出抽象思维和严谨的逻辑推理能力。 学习要点 一、命题逻辑： 掌握命题、命题变元、联结词、复合命题等概念，能够将命题符号化；掌握命题公式、重言式、矛盾式、可满足式、公式真值表等概念，能够利用公式的真值表判断较简单的公式类型；掌握命题公式的等值式、*对偶式，命题公式的代入与置换等概念，能够利用基本等值式、代入规则和置换规则进行等值演算；掌握命题公式的逻辑蕴涵式、逆换式、反换式、逆反式等概念，对于较简单的A和B，能够判断是否成立，*能够用基本的逻辑蕴涵式推证更复杂的逻辑蕴涵式；掌握全功能联结词集合的概念，能够判断一个联结词集合是否为全功能联结词集合，*会求最小联结词集合；掌握范式、极小（大）项、主范式的概念和性质，掌握求各种范式的方法，*能够用等值演算法和真值表法求命题公式的主范式，熟悉一个命题公式的主