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

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

课程主页

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

课程内容

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

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

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

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

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

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

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

放一个今年binbin上课的卷子

数理逻辑与图论期末.pdf

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

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

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

给分也海星 应该调了一点

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

先简单列个提纲在这里

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

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

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

笑眯眯的都是怪物

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

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

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

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

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

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