曹钦翔 · 离散数学(A类)修读档案

大二下补档 课程内容：外星方言速成班 考核标准：匪夷所思的大作业，羞耻度爆表的期末考试 授课质量：拉 曹神履历闪瞎眼，学问深到我这种凡人连门槛都摸不着，只有零星几句听懂了的人话在后面课程里又撞了个脸（比如最小生成树），其他那种雄狮对人类低吼式的语言体系我是一句都吸不进去，当然之后也再没遇上过，至今仍稳坐我上过最懵逼课程的王座，还顺手达成目前成绩最惨一门课的成就。

课程内容： 难，脑子不上锁容易听不进去，脑子上了锁也不太能听进去，两难 上课自由度：高，根本没有签到这回事 考核标准：***极差***，作业给分差这事就不浪费口水了，占比10%的大作业各选项难度两极分化。就本人所选那一项而言，选这项的同学没有一个人完成。这黑锅不扣他头上，还能扣谁头上？***给分极差***。 授课质量：听不懂所以emmm，给的评价是***差***。

看到以前的评论好评率竟然这么高，我亲自上完只想说：这波属于高分外墙、低分户型的典型房产。作业抠字眼，抠得跟法医验尸一样，一个字都不放过；还不讲评，交上去就像往许愿池里扔硬币，许完愿就没有下文了。上课基本上老师不管下面同学，底下人自生自灭，有点不顾学生死活了。大作业有点过于超过大一上水平了，属于新手村门口直接塞了个最终boss；有些大作业甚至和本课程内容有0点关系，0是个很精确的数字，方向也很对。并且老师感觉是非常铁面无私的老师，不讲人情😭懂得都懂。

一坨还挺大号的。AI班89人，挂了7人次，数分挂1人次，线性代数1人次，大学英语1人次，这门课挂了4人次——到底谁的问题，属实是秃子头上的虱子。

课程内容： 数理逻辑，集合论，图论，容斥原理——四大名著，一本比一本像天书，但它们有一个共同点：考试前你都觉得自己读的是假书。 上课自由度： 极高。不点名不签到，还有回放，堪称选课界的佛系养老院。你可以在任何一个不想起床的清晨，和它云恋爱，它完全不管你。 考核标准： 平时作业+大作业+期末考试，三件套齐活，一个都不能少，比某些人的脱单计划还要完整。 授课质量： 1. 老师学生时代的履历很牛，绝对是天之骄子级别——就是那种你看完会想把他的人生轨迹拿去当屏保的强，跟你期末的心情形成惨烈反差。 2. 部分知识对普通人来说晦涩难懂，推荐辅助ai答疑。这门课的上课体验大概是这样：你以为自己听懂了，其实只是产生了一种被安慰的错觉；你以为ai也听不懂，它其实只是在陪你一起装。 3. 上课时口齿清晰，富有逻辑——整门课里最有逻辑的就是他的口齿，剩下的都在向玄学进化。 4. 最后期末狠狠捞了一把，我从89捞上了91，朋友在及格线下直接捞了20多分。这不是考试，这是打捞局彻夜作业，有人扶摇上岸，有人被从海底整段拽上来，大家都湿漉漉的，但都活着。

课程内容： 难 上课自由度： 高 考核标准： 高 授课质量：痛恨曹钦翔，理解曹钦翔，吹捧曹钦翔，这是一条完整的修行之路，我已经走完了九九八十一难。

课程内容：数理逻辑，集合论，图论；紧跟老师自己的ppt讲；预习则可以搭着Discrete Mathematics and Its Applications, 8th edition [R]这本书；除了嘴说的以外，ppt、板书、作业、考试全线英文 上课自由度：高，不签到，但你还是得竖点耳朵听，不听是真的学不会（而听了也可能恍然大悟：原来听了也听不懂 考核标准：10%课堂参与分 5%课前作业 5%考勤 30%课后作业（好像是赋分制） 50%期末（比平常作业简单那么一点点） 授课质量：授课质量贼高，曹老师那是神一样的存在，我吃不懂学不会纯粹是我个人配置跟不上，怨不得别人

课程内容： 数量上有点骑不下小马 上课自由度：高 考核标准： 一个词语把这里说哭：轻松 授课质量：高高高！ ！！平时作业偶尔那种生火的烦人感 但那属于按精心小细化算份额的 并且会用一串功法给你白送分数 这道期末纸面来抱的时候可比那些平时麻烦活简多了 考试大纲能画一条明朗的线条直挺挺通知你 放一句话评分 这个绝对当顶神仙级般好

课程内容：逻辑→集合论→图论→组合数学，一条龙打包带走 上课自由度：高，不点名，人往那一坐就跟隐居似的 考核标准：比作业简单多了，但也不是善茬，像我这种普通同学得把警觉性拉满 授课质量：好，风格亲切，内容充实

课程内容： 恨cqx，懂cqx，跪cqx ------ 听说学弟学妹在哀嚎？我当年坐教室里也是同款表情包，但期末是真的手下留情，不搞大家，而且这课的思想对脑子确实有点疏通下水道的功效。 不过cqx要说教学质量有多高那也真谈不上，出分之前吧，那评分看着确实有点虚空虚高的意思 -------------- 灵异事件：canvas两年前的课堂视频居然还能点开，我特意倒回去看了自己在交大上的第一节课，好家伙，两年前的我脾气怎么好成这样，搁现在我眼里 # cqx毫无疑问是个出生

课程内容:命题逻辑，集合论，图论等等，一整套逻辑脑肌肉训练。 上课自由度：高，无签到，但你不认真听，嘿，下课还得偷偷补课还债。 考核标准：平时+大作业+期末考试三连击。 授课质量：很高，老师是信竞数竞双料全国第一，但上课依然不含糊，讲得非常清楚，课堂难度也是比一般的离散数学课更重一层楼，能捞到不少真材实料。

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

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

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

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

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

课程内容： 一阶逻辑、集合论、图论……听着像是什么修仙门派的入门心法目录，第一章学完就开始怀疑自己是不是智力被收走了。 上课自由度： 挺高的，但是大家基本都在努力听课，毕竟这课的自由就跟悬崖边的自由一样，你可以随便站着，但没人敢真的乱动。 考核标准： 5%课前小测——canvas上的几道题，如果仔细地看看需要预习的部分，全对应该不难。采用分阶段给分制度，全对次数达到一定比例5分就给满了。（但是！不会显示错题；不会专门讲解；不会提供答案）就问你刺不刺激，做完题像参加了一场没有答案的密室逃脱，出来只剩一具空壳。 5%出勤——全给。这是什么，这是这门课唯一的慈善机构。 25%课后作业——每次作业3分，按比例折算。作业难度大，需要对课堂教学的内容有深入的理解，也就是说没法采用“模仿例题做题”的方式写答案，很可能一道题看一下午都不知道怎么下手，非常绝望……而且题目较多，取整后可能错一小题就直接3分里扣1分了。不过你可以和老师交流一下思路，他会非常认真地给你解答，当看到你自己写出了一些步骤的时候他会发“很好啊！！”鼓励你，总之那天真的一边写一边哭，看到老师的消息就哭得更大声了。（作业不会专门讲解；不会提供答案）这不是写作业，这是在一口没有底的井边往下喊，老师是唯一回应你回声的人，但回声里还夹着3分扣1分的暴击。 15%课堂参与——上课提问/回答问题一次加1~2分。有编程基础的同学可以完成选做的大作业并完成pre，直接一下15分拿满。但是！没有编程基础也没有能力上课一直举手回答问题的同学（比如我）也千万不要放弃，还是有可以做的大作业的，比如这学期的大作业之一Coq有详细的教学文档，即使真的什么也不会，勇敢地去尝试一下还是有可能实现奇迹的，毕竟15分真的很多啊……这15分就像挂在树上的果子，有人会爬树，有人只能搬梯子，但梯子说明书居然还真挺详细。 50%期末——在最后两节课老师会给出期末考题的类型，带着大家复习一遍。相比学期中做的作业，这部分做的题似乎没那么痛苦了。相当于前面被按在地上摩擦了一整个学期，最后老师给你发了张湿巾。 讲课质量： 老师水平超级高，很好也很严厉，鼓励同学们提问，几位助教学长学姐也会提供比较详尽的帮助。对我个人来说，这门课可能是我刚进入大一时遭受到最大打击的一门课，学的真的很痛苦，一边写作业一边哭。不过到最后还是收获成长了很多的，尤其是大作业完成并通过的时候感觉整个人得到了升华，拯救了自己（呜呜。 最后班级里没有人挂科，老师还是很善良的。这门课就像一个把你揍了一顿又帮你包扎的狠人，揍是真揍，包扎也是真包，最后你居然还想说声谢谢。

课程内容：一阶逻辑、集合论、图论的基础内容（教材、ppt、作业、考试均为英文，上课说中文），属于是用中文声带飙英文车 上课自由度：一般。上课不签到，但你要是不打算做大作业，就得上课发言15次才拿得全平时分，等于逼你每次课都来打卡报道 考核标准：5%课前小测：为几道选择题。70%以上的小测全对给5分，40%以上全对给3分 15%课堂参与：做大作业并完成presentation直接15分到手，不然就上课发言一次得一分，质量高得两分。大作业难度较高，是个硬骨头。 25%课后作业：一开始比较难，分数普遍低得像滑铁卢，后来开始放水 5%出勤率：但是不签到，纯纯白给 50%期末：考前会划考试范围 讲课质量：高。老师和助教都特别认真，要求也比较严格。讲课逻辑清晰得像高速公路，但车速稍快。一开局的逻辑部分挺抽象，经常一脸问号，老师非常努力想把我们讲懂。课后解答同学问题也很有耐心。课总体上比较有挑战性，不好水，想混？门都没有

课程内容：离散数学，隔着屏幕都想离散。 上课自由度：自由。 考核标准：期末考试作业课上参与度，三个都来点。 讲课质量：优秀至极，不好学，但是最后老师会帮你复习，像打完Boss帮你撤退一样。

课程内容：一阶逻辑+集合论+图论 上课自由度：可以说高，但大一新生要是敢不来，期末就是大型认亲现场。 考核标准：5分出勤白给+15分课堂表现（15次发言or完成大作业）+5分课前作业+25分课后作业+50分期末考试。 讲课质量：很高。系统得像装了个操作系统，有难度但能听懂，听不懂的看回放也能缓过来，老师人好，问就完事，提示给得跟导航一样准。 图论部分大概和其他老师差异不大，但逻辑和集合论把现代数学的地基从头搭了一遍。个人认为没把逻辑时间浪费在推理规则上而去讲一阶逻辑，属实是干了件人事，虽然大一听着略懵，但对数学思考模式帮助很大。一阶逻辑和从集合论出发定义数学，好玩，值得学，体验很好。 大作业难度不低，得砸时间，但对编程/数学能力有帮助，做了不亏。 老师非常强，膜拜曹神……（看大作业presentation时感觉他简直是人体vst，怎么做到看程序那么快的）