离散数学(A类) · 修读回执档案

课程内容：中文版清华书+英文书（电子版），想做笔记的话注意顺序不太一样，不然笔记本能变成拼图。 上课自由度：低，网课会随机提问，线下课会随机叫第几排第几个同学回答问题，像开盲盒但开的是你的知识盲区。问题往往有些抽象，不过回答错了倒也没啥大事，就是社会性死亡几秒钟。 考核标准：10%考勤+40%平时+50%期末，平时分包括20次作业和一次小测。这次期末考试题比较简单，老师为了控制总评分数，就对平时分进行分层赋分（具体情况不清楚），好些人被平时分拉下来，平时分就是那个背后捅刀的好兄弟，所以平时的作业一定要好好写。 授课质量：讲课比较抽象，像在听一场加密电台，不过get到他的思路就能听得比较顺。讲题有时不清楚，属于那种讲着讲着自己都能绕进去的程度。

课程内容：数理逻辑，集合论，图论，主教材是英文的，旁边配一本清华中文教材当拐棍（ppt管够） 上课自由度：不高。线上线下每节课都要签到，老师还爱每节课点人回答问题（答错倒是没事，社死是你的自由） 考核标准：期末考试50%+考勤10%+平时40%（平时=小测 作业 课堂表现） 网课期末简单得像白送，老师没公布平时成绩比例，拿来控分（比如笨人只有90分） 授课质量：较高。老师很有自己的思想，但抽象跳跃得像是开了二倍速，跟不上就提前预习，或者课后看回放，或者直接线下、或者匿名的qq群里找老师答疑，老师有问必答。

课程内容：有所跳过 有所补充，像是“这里不重要我们飞过去”。 上课自由度：每节课都签到，线上线下都经常点人提问，纯随机抽查的在线抽卡。 考核标准：没有大作业，一次期中一次期末 授课质量：难说。骆老师的思维天马行空，有点抽象。 讲解是详细的，但不一定能跟上。概念自己乘着筋斗云跑了。 但骆老师确实上课态度很认真、课后只要你有问题，也会认真答疑 看悟性吧

课程内容：数理逻辑+集合论+图论+容斥原理，四大天王套餐 上课自由度：中，网课线下都会点名让你开麦，但答不上来也没什么大不了。况且也没几个人答得上来（或者说答到点子上？）。。 考核标准：10考勤+40平时（平时作业+一次quiz）+50期末 授课质量：诚如之前评论所言，老师水平是飘在天上的，可讲课思路也在天上飘，经常讲着A一个神转折就拽到B身上去了，还会大量夹带自己的私货，不完全顺着ppt念。如果你对离散数学这批内容有点灵根，跟起来不算吃力，否则想踩上老师的节奏，建议提前预习一下。老师那个QQ群是可以匿名发问的，私下戳也行，解答态度很耐心。整体运转下来还可以。

课程内容：前人已述，不复赘言。 考核标准：平时50%+期末50% 授课质量：高，老师属于人形答疑机，你有问他就答，专业性拿得出手。美中不足两个点：1.老师说话偶尔像磁带卡壳，好在语速飞快，整体效率不掉线。2.课件和note全是英文，有时候借用翻译软件也不太好啃。 建议：预习、上课、作业三个都尽量别落，离散数学这玩意儿多少有些抽象，得反反复复嚼、慢慢消化。

教材和考核标准前面老哥已经剧透完了，所以下面纯属本人主观脑内弹幕： 1. 老师上课讲的算法和证明多到像不要钱一样往外倒，我记住的就有传递闭包、一堆一一映射的构造、Hall's marriage theory、Graphic Sequence、增广路径、Ore's Theorem、Kuatowski's theorem，还有最小生成树的Kruskai和Prim算法的证明……当你真的全神贯注跟着老师思路走、以致于像被雷劈了天灵盖一样醍醐灌顶的时候，那感觉比中彩票还美妙。 2. 老师课后作业质量高得离谱，个人感觉难到像在做奥数。提交通道一关就发参考答案，简直是救命稻草。期末考难度感觉不会超过作业2分题难度，把往年题＋作业题盘明白，期末基本可以横着走。当然，那些三分题/五分题也不是吃素的，印象极深的有：用增广路径证明婚配定理、用double counting证明一个不等式、构造最小equivalence relation。 3. 老师的note真的是干净又卫生，上课在note旁边补点中文释义，课后直接省去整理时间，爽到飞起。 4. 老师人格魅力简直拉满！第一节课我的内心OS：救命啊，为什么这老师有点口吃还中英混杂，听感差到想退课？还要用英语写作业？还要自学Latex？？？结果课一多，发现符老师是个非常认真、非常平易近人、也非常温文尔雅的宝藏。他会在群里说“今天月偏食大家不要错过”，会多次下发问卷问我们接收程度（然后发现我们学得相当差），会每节课前提前二十分钟到教室，会不厌其烦地问我们“清楚了吗？”（小到单词认不认识，大到逻辑推导理不理解），也会在我们收到的第一封邮件最后，写上： “此致，符鸿飞

课程内容： 数理逻辑+集合论+图论+一点点组合学（容斥原理），离散宇宙全家桶 上课自由度： 会频繁地点人回答问题，突击提问比老板画饼还勤，建议每次上课前做好复习来应对老师的突然袭击 考核标准： 期末考试50%+考勤10%+平时40%，三驾马车齐齐收账 授课质量： 用自己做的ppt上课，融合了中文教材和英文教材的内容，总体而言讲的还是很细致的 老师懂得很多，上课时会经常做一些拓展，但常常因为拓展的内容过于深奥而浪费了上课时间——课堂跑题跑成了跨学科讲座 作业难度较大，考试稍简单一点，如果认真学还是挺有意思的一门学科

课程内容：命题逻辑，集合论，二元关系，图论基础、容斥原理等。参考教材为第七版Discrete Mathematics and Its Applications，上课会用自己写的Note——书是外文大部头，note是亲儿子。 上课自由度：高。课前Canvas点名；老师有时候会随机点后排同学问有没有理解——每次点名都是在心上打地鼠。 考核标准：平时50%+期末50%，有时回答问题有平时附加分，可以写DPLL/CDCL获得附加分——你答是不答，分就在那里，写代码可以薅。 授课质量：高。老师说话有点结巴需要适应，但讲得很好；老师非常负责，有问必答——他讲话卡带，知识却是口口爆珠。

课程内容：离散数学，主要看英文书，一边算一边背单词 上课自由度：还行，课前会签到，上课会提问，不过回答不出来也没什么，人不在的话不知道会不会扣分，属于签到这件事本身就在搞悬疑。 考核标准：50%期末+10%考勤+40%平时成绩 授课质量：和其他人说的一样，说话很快，说的很多，讲不清楚，知识点坐在一辆超速但没有导航的车上向窗外狂撒。还有这学期期末简单，高分可能比较多，平时分不公布细节，应该是用来卡绩了，看破不说破罢了。

课程内容：数理逻辑与集合论，图论与组合数学，一条龙全套 上课自由度：低，每节课canvas签到，签到像点名判官，还会随机点人回答问题，社恐当场魂飞魄散 考核标准：平时作业+考勤+小测验+期末考试，四件套一件不落 授课质量：一般，ppt制作精美简洁，赏心悦目，但上课有点不按套路来的意思，内容飘忽不定，思路像喝多了在走S形。但是课后找他答疑很仔细认真，这点没得黑。

课程内容： 必修，缘分到了躲都躲不掉 上课自由度： 高，基本放养式管理 考核标准： 作业，canvas测试，期末，三路包抄 授课质量： 高

课程内容： 老师备课是真的认真，奈何语速开了倍速，还带点口吃卡带，脑子转速跟不上，任务量又堆得像座山 上课自由度： 考核标准： 授课质量：

课程内容：讲的很烂，烂到像PPT在念遗嘱。 上课自由度天天提问，想摸鱼？话筒直接空降你脑门。 考核标准： 授课质量：讲的很烂，烂得首尾呼应，闭环了。

课程内容：离散数学书。 上课自由度：极高，老师基本处于不管事状态，你想听就听。 考核标准：期中期末加平时，会先考图论，上来直接放大招。 讲课质量：我觉得老师讲得还是挺好的，离散数学本身作为教学课程也比较好理解，强力推荐。

大一上的时候还在当认真人，一转眼已经混成大三老狗了。 **扣了一分**是因为有次作业手一抖传成了线代作业，直接喜提**0蛋**，那叫一个当场裂开，**bonus**就算拿全了也没把这窟窿补回来…… 课是真的上得好，跟老师和部分助教沟通下来，整个人都如沐春风。 Coq入门其实不难，核心就是把你脑子里那套松散到漏风的证明体系，硬掰成基于rule和axiom的严丝合缝推导，思路要是转得够快，整个coq大作业一个下午应该就能抡完。

上课自由度：不高，印象里他专治上课梦游和手机成瘾，你一低头一闭眼，他就跟雷达似的给你来一嗓子 考核标准：50%平时+50%期末。平时作业足足20次，属于是把你钉在板凳上反复摩擦；期末几个班卷子还是同一张，公平得让人无从甩锅 授课质量：前面也有同学说过了，老师讲得实在……有点跳跃，有时候一整节课都在用超前的进度讲我完全不知道是什么的东西，我坐在下面像误入高数火箭发射现场。所以我最后靠看书自救，预习真的是好选择。不过你要是揣着问题去找他，答疑是真的认真。

在其它回答的基础上我补充两点: 1.编程大作业其实并没有那么难，难度大概就相当于让一只刚学会走路的猫去开挖掘机——看着吓人而已。哪怕是零基础的学生，凭大一上的c++内容其实就能把这事儿办了，代码审核这一块老师主打一个慈悲为怀，不怎么较真，只要你是照着算法写的，能跑通就是好同志，跑不通……那也可能是你电脑的锅。强烈建议各位都去试一把，不试白不试。 2.我觉得这门课真正让人脑壳疼的地方在于思维方式的硬转折。课里搞的那些理论构建和证明方法（比如一阶逻辑和公理集合论），就跟从没出过村的人突然被空投到异世界一样，高考体系下压根没给你派过这种任务。而且这些思考方式后面还会一直缠着你，属于甩不掉的阴魂，所以这门课啃下来，血赚不亏。

课程内容：离散数学，离散到怀疑人生但课本身还是那个离散数学 上课自由度：自由得像放假，不点名，点名的老师看了都沉默 考核标准：考试70，剩下30靠缘分 讲课质量：

课程内容：楼上说的就是我想说的，一个字不带差的 上课自由度：不点名，老师属于放养型，你来不来他都不带抬眼皮的 考核标准：还是那句，跟上面那位兄弟说的一模一样 讲课质量：非常非常高，老师是那种真·高手，随手一抖就是本质级别的干货；但有时候上课听着跟听天书似的，脑子得课下回炉重造；风格偏向逻辑推演和证明，那玩意儿看着看着还真有几分美感，像看数学跳了一支舞

课程内容：不错，就是老师中英掺着说，还带点结巴，听着像在脑内打中文字幕 上课自由度：每节课签到，逃课侠当场退役 考核标准：平时作业加上期末考试（期末比较难；平时作业祖传的里面有答案，大概是2022.05.20左右上传的，有纰漏，但正因为有纰漏才显得它真实，有种手工痕迹的美） 讲课质量：很高！