【课程内容】1.一阶逻辑命题符号化2.一阶逻辑公式及其解释【重点、难点】1.重点：一阶逻辑命题符号化；一阶逻辑公式类型的判断。2.难点：一阶逻辑命题符号化；一阶逻辑公式类型的判断。【教学方法】（此处详细说明如何组织教学）1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1课前通过观看学习通平台资源完成课程内容预习：2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。【复习与思考】1.习题四4、52.习题四8、13、143.超星平台章节测试【学习资源】超星学习通教学平台第五章一阶逻辑等值演算与推理【学习目标】1.理解一阶逻辑等值式与置换规则。2.掌握一阶逻辑前束范式。3.理解一阶逻辑形式推理的含义。4.熟习掌握并应用推理定律和推理规则。【课程内容】1.一阶逻辑等值式与置换规则2.一阶逻辑前束范式3.一阶逻辑的推理理论【重点、难点】1.重点：一阶逻辑等值式；一阶逻辑推理规则：一阶逻辑推理的证明方法。2.难点：一阶逻辑等值式：量词引入及消去的推理规则；一阶逻辑推理的证明方法。33
33 【课程内容】 1. 一阶逻辑命题符号化 2.一阶逻辑公式及其解释 【重点、难点】 1.重点：一阶逻辑命题符号化；一阶逻辑公式类型的判断。 2.难点：一阶逻辑命题符号化；一阶逻辑公式类型的判断。 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1.课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容。 【复习与思考】 1. 习题四 4、5 2. 习题四 8、13、14 3. 超星平台章节测试 【学习资源】超星学习通教学平台 第五章 一阶逻辑等值演算与推理 【学习目标】 1. 理解一阶逻辑等值式与置换规则。 2. 掌握一阶逻辑前束范式。 3. 理解一阶逻辑形式推理的含义。 4. 熟习掌握并应用推理定律和推理规则。 【课程内容】 1. 一阶逻辑等值式与置换规则 2. 一阶逻辑前束范式 3. 一阶逻辑的推理理论 【重点、难点】 1.重点：一阶逻辑等值式；一阶逻辑推理规则；一阶逻辑推理的证明方法。 2.难点：一阶逻辑等值式；量词引入及消去的推理规则；一阶逻辑推理的 证明方法
【教学方法】（此处详细说明如何组织教学）1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1.课前通过观看学习通平台资源完成课程内容预习：2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。【复习与思考】1.整理课堂讲解的作业题，并记录于课堂笔记中2.习题五1、5、6、73.习题五15、17、194.超星平台章节测试【学习资源】超星学习通教学平台第六章集合代数【学习目标】1.使学生理解集合的概念。2.熟习掌握集合的表示方法。3.理解并学会应用集合的定律、运算。4.使学生理解并应用容斥原理于有限集的计数问题。5.理解卡氏集的含义及其性质。【课程内容】1.集合的基本概念；集合的运算2.集合恒等式：有穷集的计数问题【重点、难点】1.重点：集合的运算：集合恒等式；有穷集的计数问题。2.难点：集合的幂集：集合恒等式。【教学方法】（此处详细说明如何组织教学）1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1.课前通过观看学习通平台资源完成课程内容预习；2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提34
34 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1. 课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容。 【复习与思考】 1. 整理课堂讲解的作业题，并记录于课堂笔记中 2. 习题五 1、5、6、7 3. 习题五 15、17、19 4. 超星平台章节测试 【学习资源】超星学习通教学平台 第六章 集合代数 【学习目标】 1. 使学生理解集合的概念。 2. 熟习掌握集合的表示方法。 3. 理解并学会应用集合的定律、运算。 4. 使学生理解并应用容斥原理于有限集的计数问题。 5. 理解卡氏集的含义及其性质。 【课程内容】 1. 集合的基本概念；集合的运算 2. 集合恒等式；有穷集的计数问题 【重点、难点】 1.重点：集合的运算；集合恒等式；有穷集的计数问题。 2.难点：集合的幂集；集合恒等式。 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1. 课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提
出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。【复习与思考】1.习题六3、9、31、462.习题六22、233.超平台章节测试【学习资源】超星学习通教学平台第七章二元关系【学习目标】1.使学生理解二元关系的含义及表示。2.理解并能熟练分析二元关系的性质。3.理解并熟练运用二元关系的运算。4.使学生理解等价关系的含义，理解并识记等价关系与划分的关系。5.使学生理解偏序关系的含义，掌握集合上的偏序关系及偏序集，掌握偏序集中的特殊元素。【课程内容】1.有序对与笛卡儿积、二元关系2.关系的运算、关系的性质3.关系的闭包4.等价关系和划分5.偏序关系【重点、难点】1.重点：关系的运算、关系的性质及其判别；等价关系、等价类、集合划分的判别及三者之间的联系；偏序关系的判别、哈斯图及偏序集中特殊元素的理解。2.难点：关系的性质及其判别；等价关系、等价类、集合划分的判别及三者之间的联系；偏序关系判别、哈斯图及偏序集中特殊元素的求解。【教学方法】（此处详细说明如何组织教学）1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1.课前通过观看学习通平台资源完成课程内容预习：2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提35
35 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容。 【复习与思考】 1. 习题六 3、9、31、46 2. 习题六 22、23 3. 超星平台章节测试 【学习资源】超星学习通教学平台 第七章 二元关系 【学习目标】 1. 使学生理解二元关系的含义及表示。 2. 理解并能熟练分析二元关系的性质。 3. 理解并熟练运用二元关系的运算。 4. 使学生理解等价关系的含义，理解并识记等价关系与划分的关系。 5. 使学生理解偏序关系的含义，掌握集合上的偏序关系及偏序集，掌握偏 序集中的特殊元素。 【课程内容】 1. 有序对与笛卡儿积、二元关系 2. 关系的运算、关系的性质 3. 关系的闭包 4. 等价关系和划分 5. 偏序关系 【重点、难点】 1.重点：关系的运算、关系的性质及其判别；等价关系、等价类、集合划 分的判别及三者之间的联系；偏序关系的判别、哈斯图及偏序集中特殊元素的 理解。 2.难点：关系的性质及其判别；等价关系、等价类、集合划分的判别及三 者之间的联系；偏序关系判别、哈斯图及偏序集中特殊元素的求解。 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1. 课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提
出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。【复习与思考】1.整理课堂讲解的作业题，并记录于课堂笔记中2.习题七3、4、6、7、12、13、14、16、21、22、23、25、26、33、37、43、44、46等题写作业本3.超星平台章节测试【学习资源】超星学习通教学平台【思政案例】案例名称：利用等价关系分析社会主义核心价值观。各个具体的等价关系都是基于某一集合上的二元关系且均具有自反、对称和可传递三个性质，将它们的这种共性抽象出来就是等价关系的定义，从而实现了从特殊到一般的抽象。由此可见，等价关系实质上是对相应集合中的具有同一性的对象即具有共性特征的对象的一种抽象，从认识论的角度来看，这符合从特殊到一般的认识规律。第八章函数【学习目标】1.使学生理解理解函数、反函数的意义。2.理解并识记函数的合成运算。【课程内容】1.函数的定义与性质2.函数的复合和反函数【重点、难点】1.重点：函数的定义；函数的运算；反函数以及函数的性质。2.难点：函数性质的判断。教学方法（此处详细说明如何组织教学1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1.课前通过观看学习通平台资源完成课程内容预习；2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。36
36 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容。 【复习与思考】 1. 整理课堂讲解的作业题，并记录于课堂笔记中 2. 习题七 3、4、6、7、12、13、14、16、21、22、23、25、26、33、37、 43、44、46 等题写作业本 3. 超星平台章节测试 【学习资源】超星学习通教学平台 【思政案例】 案例名称：利用等价关系分析社会主义核心价值观。 各个具体的等价关系都是基于某一集合上的二元关系且均具有自反、对称 和可传递三个性质，将它们的这种共性抽象出来就是等价关系的定义，从而实 现了从特殊到一般的抽象。由此可见，等价关系实质上是对相应集合中的具有 同一性的对象即具有共性特征的对象的一种抽象，从认识论的角度来看，这符 合从特殊到一般的认识规律。 第八章 函数 【学习目标】 1. 使学生理解理解函数、反函数的意义。 2. 理解并识记函数的合成运算。 【课程内容】 1. 函数的定义与性质 2. 函数的复合和反函数 【重点、难点】 1.重点：函数的定义；函数的运算；反函数以及函数的性质。 2.难点：函数性质的判断。 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1. 课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容
【复习与思考】1.习题八32.超星平台章节测试【学习资源】超星学习通教学平台第九章图的基本概念【学习目标】1.理解图论的基本内容及其在计算机领域中的应用。2.掌握握手定理及其推论的应用。3.能够将图论知识用于解决复杂计算机工程问题【课程内容】1.通路与回路2.图的连通性3.图的矩阵表示【重点、难点】1.重点：图的连通性：图的矩阵表示。2.难点：图的连通性以及矩阵的求解。【教学方法】（此处详细说明如何组织教学）1.课堂讲授、启发式教学；2.多媒体教学、利用超星学习通开展线上线下混合教学。【学习要求】1.课前通过观看学习通平台资源完成课程内容预习：2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提出问题；3.课后补充课堂笔记、做练习，巩固加深课上所学内容。【复习与思考】1.习题十四3、5、7、82.超星平台章节测试【学习资源】超星学习通教学平台【思政案例】案例名称：利用图论分析中国交通网络。介绍图论的基本概念，如节点、边等，获取中国主要城市和交通线路的数据，构建中国交通网络的图模型，分析交通网络的拓扑结构、连通性等特征。强调交通网络对国家经济和社会发展的重要性。37
37 【复习与思考】 1. 习题八 3 2. 超星平台章节测试 【学习资源】超星学习通教学平台 第九章 图的基本概念 【学习目标】 1. 理解图论的基本内容及其在计算机领域中的应用。 2. 掌握握手定理及其推论的应用。 3. 能够将图论知识用于解决复杂计算机工程问题。 【课程内容】 1. 通路与回路 2. 图的连通性 3. 图的矩阵表示 【重点、难点】 1.重点：图的连通性；图的矩阵表示。 2.难点：图的连通性以及矩阵的求解。 【教学方法】（此处详细说明如何组织教学） 1. 课堂讲授、启发式教学； 2. 多媒体教学、利用超星学习通开展线上线下混合教学。 【学习要求】 1. 课前通过观看学习通平台资源完成课程内容预习； 2.课堂上勤于发问，积极思考，对重难点知识做好笔记，积极回答老师提 出问题； 3.课后补充课堂笔记、做练习，巩固加深课上所学内容。 【复习与思考】 1. 习题十四 3、5、7、8 2. 超星平台章节测试 【学习资源】超星学习通教学平台 【思政案例】 案例名称：利用图论分析中国交通网络。 介绍图论的基本概念，如节点、边等，获取中国主要城市和交通线路的数 据，构建中国交通网络的图模型，分析交通网络的拓扑结构、连通性等特征。 强调交通网络对国家经济和社会发展的重要性