本人在2023年春季, 2022年秋季和春季学期分别修读了计算机科学与技术学院开设的数理逻辑基础，图论，代数结构课程, 有幸担任2023年秋季数理逻辑与图论课程助教. 我的邮箱: eastwind@mail.ustc.edu.cn, 对课程有问题欢迎来信.

课程内容介绍见2021年助教的评课.

一些可能有用的资源:

我的 (计科) 图论评课 内有计科图论教材的学习笔记和习题解答. 那门课的知识要求比我们数图的图论部分高很多, 所以里面很多东西其实不用看. 只不过同学们学到哪里有疑惑的时候可以试着去里面找找有没有相同知识点的讲解.

张助教做的课程资料库 本来计划里面用来放作业答案, 反馈以及习题课课件的. 不过根据刘斌老师的要求, 作业标答不应该发给学生, 以免流传下去后来的学生不做作业了. (老师每年布置的题目都完全相同. 从收作业的情况来看同学们确实经常直接抄祖传答案, 甚至错法都一模一样地抄下来了. )

其实离散数学的每个部分往后学下去都有很深的内容可以研究, 不过我们的课程并不作要求. 所以这门课认真学起来并不算很简单, 尤其是图论部分, 但是你会发现作业 (不知道考试如何) 确实容易.

刘斌老师讲课比较常规. 虽然可能让人觉得没什么吸引力, 但把需要的部分讲明白绝对是足够了. 有时还会结合网安的专业特性作一些简略的具体应用介绍.

关于助教工作: 学期初的时候本着不让大家有太大压力的想法, 我们制定的作业批改标准比较松: 思路对而仅仅是书写不严谨的地方尽量不扣分; non-trivial的部分错前两处起不扣分, 第三处起才每次扣0.1分 (一次作业满分4分, 按时交且完成就有3.5的保底分) . 考虑到每次作业的题目数量以及基础题占比, 这个数说实话很难达到. 不过希望大家在应对考试时不要以这种标准要求自己. 习题课方面, 或许由于我是第一次带助教经验不足, 第一次上课的效果并不好, 希望大家多多担待.

本人在2020年春季和秋季学期修读了计算机科学与技术学院开设的数理逻辑，图论，代数结构，有幸担任2021年秋季数理逻辑与图论课程助教。我的邮箱：zsh123456@mail.ustc.edu.cn，对课程有问题欢迎来信。

该课程主要为对数学和计算机科学有兴趣的学生入门离散数学原理，主要内容分为数理逻辑，图论以及小部分的代数结构。

课程主页

http://staff.ustc.edu.cn/~flowice/MLGT

课程内容

第一章主要讲述命题逻辑，一阶谓词逻辑，假言推理，逻辑的证明。

第二章主要涉及集合，集合的运算（差并补etc.），笛卡尔积，集合的单射双射满射，函数，反函数，组合与复合函数，序列，序列的求和等等。

第三四章主要讲计数原理（加法原理和乘法原理），容斥原理，抽屉原理，拉姆齐理论，排列与组合，递推关系。

第五章主要讲集合上的关系，关系的组合与合成，关系的运算与表示，关系的路径与闭包，沃舍尔算法，等价关系，偏序关系，代数结构格，字典排序，拓扑排序等等。

第六章主要涉及图的概念，二分图，图的匹配，图的着色，图的表示，图的同构，最短路径问题，欧拉回路，哈密顿圏。

第七章主要讲无圏简单图树，二叉树，二叉搜索树，决策与博弈树等等。

整体内容难度不大，由于课时的限制，数理逻辑未讨论等词逻辑，图论没有涉及欧拉回路哈密顿圏的深入证明，没有网络流理论，学习的难点和重点都在于图论部分。至于考试和给分，因为本人未直接修过所以尚且不知，从前几届学长来看期末后面的图论大题较难，给分未到期望值，10周之后再来续评。

总结：俺觉得还行.jpg

今年也不是没有考曲婉玲，只是考的不是压轴，而且那题本身比较隐晦。曲上有很多新概念，所以题目描述和我们学的不一样

上课很无聊，在图之前更无聊，图之后稍微需要听课。考试和课本关系不大，不如说还考了一些曲书上的概念，搞懂往年卷也行

给分，我大概感觉一分没调吧，呵呵

上课念PPT加证明定理。

期末考试题目完全不能参考作业题，如果只按照作业题来复习要遭重。

强烈建议去图书馆找习题集，比如楼上说的屈婉玲，后来看了眼泪流下来。

这不是演习，这门课的给分杀手程度超乎你想象（如果你是凡人的话）

为了你的GPA，请多花足够多的时间和精力

课程本身不难，但感觉期末考试比较难，可能是因为平时作业不求甚解吧，作业每次会有相当数量的题，但大多是难度都不大。

还有一个特点就是，老师上课比较简单的提问，很少有人能答上来。我的最后成绩是84，感觉略坑。

但是不想深入学习数理逻辑以及图论这两门学科的人可以用这个来入门，老师比较呆萌，课程内容也挺丰富的。

课程内容很简单 然而最后考卷简直地狱难度

老师人海星 上课会提问 不过基本也没人答出来吧

老师非常推崇数归 最后考卷应该有三道可以用数归做

给分也海星 应该调了一点

时代确实变了，斌斌这门课绝对是有调分的

先简单列个提纲在这里

考核方式：每节课随机点名+作业+闭卷考试

课程内容：逻辑代数，集合论，计数原理，关系，图论

考试内容：考察内容还比较灵活，根据个人经验，前面小题里特别喜欢出那种a，b有什么性质，a复合b还有没有这种性质的判断，可以考前整理一下

笑眯眯的都是怪物

记得上课出勤率要齐，老师每节课会提几个问题，然后点名几个同学来回答，问题不太难，但如果没到那就GG了。

刘老师会给你一种说话沉稳但是一直在微笑，不时带一点黑色幽默的那种让人看不透的感觉杀手本色。但是事实上还是挺好一老师。

考试难度不算太高，但是最后两道大题目要拿全满有点困难。根据老师自己说的改卷标准，如果只写正确答案没写过程，那会扣很多分；然后分点给分非常多，所以基本上题目的大方向找对，尽量达到一些关键点，并且详细清楚的话，过程量给的够多，虽然很难拿满但是也不会扣太多。

比如排列组合题，老师给分看的是你考虑了多少种分类，有算出某类对答案贡献的就给分

记得考试最后一题，有一个关键点不会证明，就写了“显然”上去，考后发现真的很显然所以好像给了很多分

信安的同学必选这门课不用想了，其他院也可以来试试

老师讲课还不错，至少挺清楚的。

作业挺多的，而且习题课基本没啥用，平时碰到不会的都问室友，或者自己上网找答案。

考试很难，比作业难很多，最后三道大题都是图论，有一定的难度，想要考好就去刷屈婉玲吧，一般是能刷到原题的，而且部分证明思路是类似的，有套路的，上课基本没有涉及这方面，很难想象不刷题怎么拿高分，反正我是没刷到原题，我看的题最后都没考，枯了。

考前10天都在刷屈婉玲，本来对这门课期望挺高的，最后直接出总评，没到预期，也不知道卷面，也莫得查卷，也不知道错哪了，就，挺难受。

总结一下，就是平时基础打扎实，考前突击刷图论题就行了。

总结就是上课一般，作业简单，助教划水，考试爆炸难

没什么好说的，作业答案网上有，考试就去看qwl的书，能押中多少看天意吧orz

可能有一点调分，希望学弟学妹们没事(