离散数学2018秋季
课程安排
- 慕课网站：中国大学慕课-离散数学概论
- 线下上课地点：三教203#
- 线下上课时间：每周四上午8点到10点；每双周二下午3点到5点（双周一般安排自行看慕课视频）
- 总评分数：慕课40%，课堂发言30%（第一次报告20分，第二次报告10分，课堂发言10分，累计不超过30分），期末闭卷考试30%。
- 课堂报告和发言登记表单；【查看表单登记记录】
- 课堂报告PPT提交链接：【点击进入】（命名规则：<姓名>-<题目>.pptx，如：张三-小世界网络.pptx）
- 教材PDF版： 《计算机科学中的离散结构》 (下载57736)
- 课外读物： 哥德尔、艾舍尔、巴赫——集异壁之大成(PDF) (下载37604)
闭卷考试安排
- 时间：2019年1月15日下午2～4点
- 地点：二教425#
- 离散数学试卷2017 (下载30040)
课程PPT
- W16:0103：课堂讨论
- W15:1227：课堂讨论（可计算性理论与预言机 / GEB读书分享 / DFA转正则表达式Python实现）
- W14:1220：课堂讨论（Kleene定理介绍 / NFA-DFA等价性 / GS稳定匹配算法 / 图灵机的拓展和等价形式）
- W13:1213：课堂讨论（智能作曲中的形式语法 / LL分析和LR分析）
- W12:1206：课堂讨论（有限自动机可是别语言的基数 / 自动编程的语言识别 / 正则式和正则语法等价性）
- W11:1129: 小世界网络 (下载26752)
- W10:1122: 离散数学2018-08 (下载27553) / 离散数学2018-图数据库 (下载29489)
- W9:1115:（期中）自习视频
- W8：1108： 离散数学2018-07 (下载26936)
- W7-8：1106： 离散数学2018-06 (下载26986)
- W6：1025： 离散数学2018-05-集合与无穷 (下载27001)
- W5：1018：讨论题目可以根据“数理逻辑-谓词逻辑及形式系统”来定，比如：自然推理系统用来证明某个简单的数学定理；逻辑悖论；三段论证明； 区域连接算子RCC介绍 (下载34523) (看4.1/4.2节）
- W4：1011：讨论题目可以自己根据“数理逻辑-命题逻辑及形式系统”来定，比如：做几道证明题详细解说；慕课互评作业加法器；难以形式化的命题；定理判定问题的理解；GEB书中相关的例子等等；
- W3：1004：国庆假期；
- W2：0927：讨论题目可选：数理逻辑发展历程；排中律和矛盾律；三值、多值逻辑；模糊逻辑；命题公式求值（Python程序）；命题形式化的失真和分析。
- W1：0920： 离散数学2018-01-课程介绍 (下载27024) 离散数学2018-02-初试课堂讨论 (下载26638)