春季　

    《数据挖掘与商务智能》　软件工程硕士生  2012年教育部-IBM专业综合改革项目

秋季　

    《离散数学》 本科生

    《计算机数学基础》　软件工程硕士生

[1] 主持 2012年 教育部-IBM专业综合改革项目 “数据挖掘与商务智能课程建设”

[2] 主持 2013年 学校探究式教学试点项目 “数据挖掘概论”

[3] 主持 2013年 校级教学改革项目 “微课与MOOC在本科教学中的应用探索”

[4] 参加 2014年 省级教学改革项目  “泛在学习模式在工科专业教学中的应用探索”  3/7

第一章  命题逻辑

1-1 命题和联结词  【PPT】 【视频1】  【视频2】

1-2 命题公式  【PPT】  【视频1】  【视频2】 【视频3】

1-3 逻辑等价式和永真蕴含式  【PPT】 【视频1】 【视频2】

1-4 联结词的完备集  【PPT】  【视频1】  【视频2】

1-5 对偶式   【PPT】  【视频1】

1-6 范式   【PPT】  【视频1】  【视频2】  【视频3】  【视频4】

1-7 命题逻辑的推理理论

第一章课后习题答案    【PDF】

第二章  谓词逻辑

2-1 谓词和量词  【PPT】  【视频1】  【视频2】

2-2 谓词公式  【PPT】  【视频1】  【视频2】  【视频3】  

2-3 谓词公式的翻译  【PPT】  【视频1】  【视频2】  【视频3】  【视频4】

2-4 谓词演算的永真公式  PPT】  【视频1】  【视频2】  【视频3】  【视频4】 

2-5 谓词演算的四个推理规则  【PPT】  【视频1】

2-6 谓词逻辑推理及应用  【PPT】  【视频1】

第二章课后习题答案 【PDF】

第三章  集合与关系

3-1 集合及其运算 【PPT】

3-2 二元关系  【PPT】

3-3 集合上的二元关系 【PPT】

3-4 关系的闭包运算 【PPT】

3-5 等价关系 【PPT1】 【PPT2】

3-6 序关系  【PPT1】 【PPT2】

第三章课后习题答案【PDF1】【PDF2】

第四章  函数与无限集合

4-1 函数 【PPT】

4-2 复合函数和逆函数 【PPT】

4-3 可数与不可数集合 【PPT】

4-4 基数的比较 【PPT】

第四章课后习题答案【PDF】

第五章

第六章

第七章  图论

7-1 图的基本概念  【PPT1】  【PPT2】【视频1】  【视频2】【视频3】【视频4】【视频5】

7-2 图的连通性 【PPT】  【视频1】  【视频2】  【视频3】  【视频4】  【视频5】 

7-3 图的矩阵表示  【PPT】  【视频1】  【视频2】 

7-4 欧拉图与汉密尔顿图 【PPT1】  【PPT2】  【视频1】  【视频2】 【视频3】  【视频4】 

7-5 平面图  【PPT】  【视频1】  【视频2】

7-6 图的着色  【PPT】  【视频1】  【视频2】【视频3】  

7-7 树   【PPT1】  【PPT2】  【视频1】  【视频2】  【视频3】  【视频4】  【视频5】【视频6】  【视频7】  【视频8】  【视频9】