2025秋 2024秋 2023秋 2022秋 2021秋 2020秋 2019秋 2018秋 2017秋 2016秋 2015秋 2014秋 2013秋 课程号：21003701
- 课程难度：中等
- 作业多少：中等
- 给分好坏：一般
- 收获大小：一般
| 选课类别：计划内与自由选修 | 教学类型：理论课 |
| 课程类别：本科计划内课程 | 开课单位：网络空间安全学院 |
| 课程层次：专业基础 | 学分：2.0 |
本课程主要为对数学和计算机科学/工程有兴趣的学生介绍数学逻辑与图论的原理。主要内容分为两部分：数理逻辑和图论。第一部分主要介绍数学语言的定义（命题和谓词逻辑）、递归概念和关系理论。第二部分讨论图论的主要结论并介绍本课程所涉及的方法和术语。图的数学理论是重点。涉及的主题有：顶点、边、度、平面图、有向图、偶图、连通性、路径、欧拉回路、哈密顿回路、树、独立集、平面化和着色等。着重强调了现代数理逻辑与图论中已经被证明是非常有成效的各种方法。
教学水平与课程内容
刘斌老师的《数理逻辑与图论》课程主要涵盖数理逻辑、集合论、计数原理、关系及图论等内容。课程被认为是为对数学和计算机科学有兴趣的学生入门离散数学的选择。尽管讲授方法较为传统，部分学生认为刘老师在课堂上主要通过PPT讲授内容，且课程前期较为枯燥。然而，课程内容讲得比较清楚，老师有时也会结合应用进行简要介绍。课程内容并不深入，难点大多集中在图论部分。
作业与习题课
作业量较多，但难度不大。助教东风的反馈指出，作业批改标准较为宽松，如“思路对而书写不严谨的地方尽量不扣分”。习题课的效用见仁见智，有学生反映习题课效果一般，习题课资料较为有限。
考试与难度
期末考试普遍被认为非常困难，较平时作业题难度更高，部分题目取材于《离散数学教程》一书。建议学生在复习时多做题库练习和参考相关教材，如屈婉玲的书籍。考试时，课程内容与课本关系不大，建议多刷题，尤其是图论题目。
给分与评分
给分上存在争议。有些同学认为给分较好并有调分现象，而有些则感受较差，称之为“给分杀手”。部分学生在期末考试未能正确解答一些大题后，却仍得到不错的总评分，表明存在潜在的调分情况。
综合建议
本课程适合想快速巩固离散数学基础者，但不建议对数理逻辑和图论深入学习者选修。上课出勤并参与提问可能有助于期末成绩。为提高考试成绩，建议多花时间在题目的实际练习上，特别是图论部分。建议结合屈婉玲的《离散数学教程》进行复习。
- 课程难度：中等
- 作业多少：中等
- 给分好坏：一般
- 收获大小：一般
- 难度：中等
- 作业：中等
- 给分：一般
- 收获：一般
本人在2023年春季, 2022年秋季和春季学期分别修读了计算机科学与技术学院开设的数理逻辑基础，图论，代数结构课程, 有幸担任2023年秋季数理逻辑与图论课程助教. 我的邮箱: [email protected], 对课程有问题欢迎来信.
课程内容介绍见2021年助教的评课.
一些可能有用的资源:
我的 (计科) 图论评课 内有计科图论教材的学习笔记和习题解答. 那门课的知识要求比我们数图的图论部分高很多, 所以里面很多东西其实不用看. 只不过同学们学到哪里有疑惑的时候可以试着去里面找找有没有相同知识点的讲解.
张助教做的课程资料库 本来计划里面用来放作业答案, 反馈以及习题课课件的. 不过根据刘斌老师的要求, 作业标答不应该发给学生, 以免流传下去后来的学生不做作业了. (老师每年布置的题目都完全相同. 从收作业的情况来看同学们确实经常直接抄祖传答案, 甚至错法都一模一样地抄下来了. )
其实离散数学的每个部分往后学下去都有很深的内容可以研究, 不过我们的课程并不作要求. 所以这门课认真学起来并不算很简单, 尤其是图论部分, 但是你会发现作业 (不知道考试如何) 确实容易.
刘斌老师讲课比较常规. 虽然可能让人觉得没什么吸引力, 但把需要的部分讲明白绝对是足够了. 有时还会结合网安的专业特性作一些简略的具体应用介绍.
关于助教工作: 学期初的时候本着不让大家有太大压力的想法, 我们制定的作业批改标准比较松: 思路对而仅仅是书写不严谨的地方尽量不扣分; non-trivial的部分错前两处起不扣分, 第三处起才每次扣0.1分 (一次作业满分4分, 按时交且完成就有3.5的保底分) . 考虑到每次作业的题目数量以及基础题占比, 这个数说实话很难达到. 不过希望大家在应对考试时不要以这种标准要求自己. 习题课方面, 或许由于我是第一次带助教经验不足, 第一次上课的效果并不好, 希望大家多多担待.
