从1,500,000教师库中查找（输入学校名称或教师姓名）
钟秀琴老师介绍
姓名：钟秀琴 性别：女 E-mail：zhongxiuqin2009@gmail.com
系别： 职称： 职务：
学历：工学博士 电话：
研究方向：符号计算与自动推理，数据挖掘与知识发现
教育背景
1996.9-2000.7 西安电子科技大学 应用数学专业 本科 获理学学士
2003.9-2008.7 中国科学院研究生院 计算机软件与理论专业 硕博连读 获工学博士
教学情况
实验课安排：
一）、离散数学：（王庆先老师班、向艳萍老师班）
实验次数：（共4次）
实验时间及地点：
1、第6周周二（3月24）晚上6：50-9：50 实验楼科技楼 506、508
2、第9周周二（4月14）晚上6：50-9：50 实验楼科技楼 506、508
3、第13周周二（5月12）晚上6：50-9：50 实验楼科技楼 506、508
4、第16周周二（6月2）晚上6：50-9：50 实验楼科技楼 506、508
实验报告提交时间:第17周周二晚上,原上课地点,交标准实验报告纸制版!
（二）、离散数学：（祝峰老师班）
实验次数：（共2次）
实验时间及地点：
1、第14周周四（5月21）晚上6：50-9：50 实验楼科技楼 510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 502
实验报告提交时间:第16周周四晚上,交标准实验报告纸制版,由班长统一收!
（三）、算法分析与设计：（肖鸣宇老师班）
实验次数（共4次）
实验时间及地点：
1、第14周周五（5月22）上午2：30-5：30实验楼科技楼 502、510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 510、535
3、第16周周二(6月2）晚上6：50-9：50 实验楼科技楼 502、504
4、第16周周五（6月5）晚上6：50-9：50 实验楼科技楼 535、537
实验报告提交时间:第17周周一下午2:30,原肖鸣宇老师上课地点,交标准实验报告纸制版!
实验具体内容：
离散数学（王庆先老师班、向艳萍老师班）第一次实验课
时间：第六周周二（3月24号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容（两个题目，任选其一即可）：
题目一：
如果火车晚点，而且车站没有出租车，那么约翰参加会议就会迟到。约翰没有迟到，火车的确晚点了。因此，车站有出租车。
要求：编程实现上述推理。
提示：可用真值表方式求解。
题目二：
有人邀请A,B,C,D,E,F 6个人参加一项会议，这6个人有些奇怪，因为他们有很多要求，已知：
1.A,B两人至少有1人参加会议。
2.A,E,F 3人中有2人参加会议。
3.B和C两人决定，要么两人都去，要么两人都不去。
4.A,D两人中只1人参加会议。
5.C,D两人中也只要1人参加会议。
6.如果D不去，那么E也决定不去。
那么最后究竟有哪几个人参加了会议呢？
参考思路：列出前提条件对应的公式，并求出对应的主范式，从而确定哪些人参加会议。
离散数学（王庆先老师班、向艳萍老师班）第二次实验课
时间：第九周周二（4月14号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：（可选择其一实现即可）
1、关系性质的判断；
2、关系的运算
离散数学（王庆先老师班）第三次实验课
时间：第十三周周二（5月12号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容
1．利用矩阵方法编写程序求出图的连通性。（必做）
2．完成利用克鲁斯科尔算法，管梅谷算法和逐步短接法求解图的最小生成树，并比较算法的效率。（选做）
离散数学（向艳萍老师班）第三次实验课
时间：第十三周周二（5月12号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：3选1即可
1、判断一个图是否有欧拉回路
2、利用矩阵方法编写程序求出图的连通性
3、实现最短路径算法
离散数学（王庆先老师班）第四次实验课
时间：第十六周周二（6月2号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容
1．实现群的判断
离散数学（向艳萍老师班）第四次实验课
时间：第十六周周二（6月2号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：2选1即可
1. 用程序实现
的 true table
2. 最小生成数
算法分析与设计
算法分析与设计（肖鸣宇老师班）
具体实验内容请在 http://202.115.20.2/teacher/coursewarelist.aspx?id=317 下载，
5个实验选4个做即可。
实验时间及地点：
1、第14周周五（5月22）上午2：30-5：30实验楼科技楼 502、510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 510、535
3、第16周周二(6月2）晚上6：50-9：50 实验楼科技楼 502、504
4、第16周周五（6月5）晚上6：50-9：50 实验楼科技楼 535、537
祝峰老师离散数学实验课安排：
实验一：实现最短路径算法 时间：第14周周四（5月21）晚上6：50-9：50，地点：实验科技楼510
实验二：判断一个图是否有欧拉回路 时间：第14周周日（5月24）下午2：30-5：30， 地点：实验科技楼502
科研情况
作为主研人员先后参与了如下项目
1）、中科院知识创新工程“自动推理与数学机械化”
2）、国家973-数学机械化与自动推理平台
3）、国家973-数学机械化及其在信息技术中的应用
4）、中科院西部之光“基于本体的中医药知识库”
5）、诺亚舟图形计算器
在计算机学报、Mathematical and computer modelling等国内外学术期刊及学术会议上发表多篇学术论文，并多次在国际会议上作学术报告。
获奖情况
备注
系别： 职称： 职务：
学历：工学博士 电话：
研究方向：符号计算与自动推理，数据挖掘与知识发现
教育背景
1996.9-2000.7 西安电子科技大学 应用数学专业 本科 获理学学士
2003.9-2008.7 中国科学院研究生院 计算机软件与理论专业 硕博连读 获工学博士
教学情况
实验课安排：
一）、离散数学：（王庆先老师班、向艳萍老师班）
实验次数：（共4次）
实验时间及地点：
1、第6周周二（3月24）晚上6：50-9：50 实验楼科技楼 506、508
2、第9周周二（4月14）晚上6：50-9：50 实验楼科技楼 506、508
3、第13周周二（5月12）晚上6：50-9：50 实验楼科技楼 506、508
4、第16周周二（6月2）晚上6：50-9：50 实验楼科技楼 506、508
实验报告提交时间:第17周周二晚上,原上课地点,交标准实验报告纸制版!
（二）、离散数学：（祝峰老师班）
实验次数：（共2次）
实验时间及地点：
1、第14周周四（5月21）晚上6：50-9：50 实验楼科技楼 510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 502
实验报告提交时间:第16周周四晚上,交标准实验报告纸制版,由班长统一收!
（三）、算法分析与设计：（肖鸣宇老师班）
实验次数（共4次）
实验时间及地点：
1、第14周周五（5月22）上午2：30-5：30实验楼科技楼 502、510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 510、535
3、第16周周二(6月2）晚上6：50-9：50 实验楼科技楼 502、504
4、第16周周五（6月5）晚上6：50-9：50 实验楼科技楼 535、537
实验报告提交时间:第17周周一下午2:30,原肖鸣宇老师上课地点,交标准实验报告纸制版!
实验具体内容：
离散数学（王庆先老师班、向艳萍老师班）第一次实验课
时间：第六周周二（3月24号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容（两个题目，任选其一即可）：
题目一：
如果火车晚点，而且车站没有出租车，那么约翰参加会议就会迟到。约翰没有迟到，火车的确晚点了。因此，车站有出租车。
要求：编程实现上述推理。
提示：可用真值表方式求解。
题目二：
有人邀请A,B,C,D,E,F 6个人参加一项会议，这6个人有些奇怪，因为他们有很多要求，已知：
1.A,B两人至少有1人参加会议。
2.A,E,F 3人中有2人参加会议。
3.B和C两人决定，要么两人都去，要么两人都不去。
4.A,D两人中只1人参加会议。
5.C,D两人中也只要1人参加会议。
6.如果D不去，那么E也决定不去。
那么最后究竟有哪几个人参加了会议呢？
参考思路：列出前提条件对应的公式，并求出对应的主范式，从而确定哪些人参加会议。
离散数学（王庆先老师班、向艳萍老师班）第二次实验课
时间：第九周周二（4月14号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：（可选择其一实现即可）
1、关系性质的判断；
2、关系的运算
离散数学（王庆先老师班）第三次实验课
时间：第十三周周二（5月12号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容
1．利用矩阵方法编写程序求出图的连通性。（必做）
2．完成利用克鲁斯科尔算法，管梅谷算法和逐步短接法求解图的最小生成树，并比较算法的效率。（选做）
离散数学（向艳萍老师班）第三次实验课
时间：第十三周周二（5月12号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：3选1即可
1、判断一个图是否有欧拉回路
2、利用矩阵方法编写程序求出图的连通性
3、实现最短路径算法
离散数学（王庆先老师班）第四次实验课
时间：第十六周周二（6月2号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容
1．实现群的判断
离散数学（向艳萍老师班）第四次实验课
时间：第十六周周二（6月2号）晚6：50-9：50
地点：清水河校区实验科技楼506、508
实验内容：2选1即可
1. 用程序实现
的 true table
2. 最小生成数
算法分析与设计
算法分析与设计（肖鸣宇老师班）
具体实验内容请在 http://202.115.20.2/teacher/coursewarelist.aspx?id=317 下载，
5个实验选4个做即可。
实验时间及地点：
1、第14周周五（5月22）上午2：30-5：30实验楼科技楼 502、510
2、第14周周日（5月24）下午2：30-5：30 实验楼科技楼 510、535
3、第16周周二(6月2）晚上6：50-9：50 实验楼科技楼 502、504
4、第16周周五（6月5）晚上6：50-9：50 实验楼科技楼 535、537
祝峰老师离散数学实验课安排：
实验一：实现最短路径算法 时间：第14周周四（5月21）晚上6：50-9：50，地点：实验科技楼510
实验二：判断一个图是否有欧拉回路 时间：第14周周日（5月24）下午2：30-5：30， 地点：实验科技楼502
科研情况
作为主研人员先后参与了如下项目
1）、中科院知识创新工程“自动推理与数学机械化”
2）、国家973-数学机械化与自动推理平台
3）、国家973-数学机械化及其在信息技术中的应用
4）、中科院西部之光“基于本体的中医药知识库”
5）、诺亚舟图形计算器
在计算机学报、Mathematical and computer modelling等国内外学术期刊及学术会议上发表多篇学术论文，并多次在国际会议上作学术报告。
获奖情况
备注
钟秀琴老师相关教学资源
- 电子科技大学教学资源
- 钟秀琴老师课程教学资源
