北京大学   精品课程
课程简介 教师介绍 教学大纲 授课教案 指定教材 参考文献 考核方法 教学录像
	屈婉玲，女，北京大学信息科学技术学院教授，博士生导师，中国人工智能学会离散数学专委会委员。主要研究方向是算法设计与分析，发表多篇论文，出版教材多部，其中包含多部国家级规划教材、北京市高等教育精品教材、教育部高等教育精品教材。所讲授的离散数学课程被评为国家级精品课程，两次被评为北京大学十佳教师，并获得北京市优秀教师称号。曾主持过多项国家教材和课程建设项目，并获得北京市教育教学成果一等奖。 主讲“代数结构与组合数学”(离散数学2)。       详情进入       王捍贫，男，博士，北京大学信息科学技术学院教授，博士生导师，软件研究所副所长，人工智能学会离散数学专委会副主任。长年从事离散数学、形式化方法及算法设计与分析的教学和研究工作。主持完成多项国家研究课题，撰写和翻译出版了多部离散数学和计算理论教材，曾获得北京市教学成果奖一等奖。系国家级精品课“离散数学”课程主讲教师。主讲“数理逻辑”(离散数学3)。        详情进入       刘  田，男，博士，北京大学信息科学技术学院副教授、中国电子学会电路与系统分会图论与系统优化专业委员会秘书长、中国电子学会和中国计算机学会高级会员，目前主要从事算法分析和计算复杂度方面的研究和教学工作，翻译出版了多部国外著名离散数学和计算理论教材。系国家级精品课“离散数学”课程主讲教师。主讲“集合论与图论”(离散数学1)。       曹永知，男，博士，北京大学信息科学技术学院软件研究所副教授。目前主要从事形式化方法及其应用研究，包括通信与并发系统，Petri网，形式语言与自动机理论及其在离散事件系统和不确定性推理中的应用等。在IEEE Transactions on Computers等杂志发表（或接收发表）学术论文30余篇，其中SCI国际期刊论文近20篇。作为项目负责人主持国家自然科学基金面上项目2项。系国家级精品课“离散数学”课程主讲教师。主讲“代数结构与组合数学”(离散数学2)。