1 命题逻辑与谓词逻辑

2 集合与二元关系  

3 函数

4 代数系统

5 图论知识   

总学时  48学时

通过本课程的学习，将使学生获得数理逻辑、集合论、代数结构、图论等方面的基本概念、理论和运算技能及应用能力，培养学生的抽象思维能力、逻辑思维能力、数学建模能力、证明技巧、形式化程序设计、归纳分析等能力，以及综合运用知识解决实际问题、勇于探索和创新的能力。

本课程的学习环节包含：观看讲课视频及其它课程资源、完成单元测验题、单元作业、参与课程讨论、参加期末考试。

课程学习成绩由四部分构成：

1.单元测验：占30%。主要题型及分值：单项选择题5小题，每题2分，小计10分。

2.单元作业：占30%。题型为主观题，单元作业需要学生互评。每人至少互评5个他人作业。（未参与互评的学生将给与所得分数的50%；未完成互评的学生将给与所得分数的80%，全部完成互评的学生将给与所得分数的100%。）

3.课程讨论：占10%。根据同学们在讨论区发表的有效帖子（含主贴和回帖）的数量给予评分，课程讨论获得满分（10分）的同学发表的有效帖子不少于10个。

4.课程考试：占30%。期末将进行课程考试，题型包括：单项选择题10小题，每题6分，小计60分；计算证明题4题，小计40分。满分共100分。

高等数学、线性代数等

参考书

1、孙吉贵等《离散数学》,高等教育出版社2002年

2、陈莉等《离散数学》高等教育出版社2002年

3、Kolman B., etc., 《Discrete Mathematical Structures》Prentice Hall Inc., 2001。