离散数学 教学大纲(第七版).docx

《离散数学》教学大纲

离散数学是信息科学技术相关专业的基础核心课程，其目标是培养学生的抽象思维能力，使学生初步掌握运用离散数学的知识建立数学模型进而分析问题、解决问题的方法。课程包括数理逻辑、集合论、图论、组合分析初步、代数系统简介、形式语言与自动机初步等6部分。

本课程基本不需要先修课程，仅在个别地方用到一点高等数学和高等代数。对于某些应用实例，如果学生缺乏相关的知识，授课时可对相关知识作简单介绍或略去该实例。

教材：耿素云、刘田、屈婉玲、张立昂编著，离散数学（第七版），清华大学出版社。

第1章命题逻辑

1．知识点

命题、联结词、命题公式及其赋值、公式的分类、真值表、等值演算、范式、推理和