离散数学 · 修读回执档案

考核标准：40%期末（图论不伺候）+20%图论（课堂测试）+40%平时\n课程内容： 考试范围就盯着数理逻辑，但凡跟公理化沾边的一律删；集合论最后一章也不考，可cyq上课偏要往这些上砸大把时间，还掏出另一本书讲公理系统，《数理逻辑》by莫绍揆，翻开这本就丢定理永真推理证明，答案是零，写起来要命； 一句话，考试不考的讲一大堆；要考的嗖嗖带过，作业寥寥； 助教是巴基斯坦人，所以作业必须英文伺候，不然人家看不懂； 图论就绷了最后三四节课就上了考场，最后一节直接测试； 每章在canvas上挂着预习作业【说是预习其实是挂羊头，也可能讲完才放出来】，15道选择题，交上就行，对错不影响平时分； 图论断测试在canvas上进行，50分钟60道选择题，开卷随便翻书，看别人的不行，有些题是从预习作业里挖出来的。 （这老师主打一个随心，别指望下回开课还是这套路数）\n上课自由度：比较松，名都没点过。\n讲课质量：只要不拿讲课内容和考试内容对齐度较真，讲课还是能看的，顺溜。

课程内容：数理逻辑和集合论，图论与代数结构（清华紫色教材，结果跟被啃过的甘蔗似的，好多内容都删了） 上课自由度：一般 考核标准：平时作业+每章的课堂小测+图论期中考试20%+期末考试40% 讲课质量：老师人挺好的比较温柔，但讲课嘛，就像温吞水泡脚，挺无聊也没多少人听；作业多得像双十一快递，小测比较简单，虽然有几次时间紧得跟逃命一样根本做不完，但从最后看应该是调了分的，给分还挺不错（不过这课内容本身就挺水挺简单，毕竟阉割太多了，学的也不深）；赵助教改作业非常认真，会详细讲解作业出现的问题，简直是作业界的法医

课程内容：图论，命题逻辑，谓词逻辑，集合，关系，函数，听起来像程序员的玄学全家桶。 上课自由度：很自由，没点过名，也不管你干啥，爱咋咋地。 考核标准：图论上完就考试，大概占30，期末考剩下的部分，占50，平时分20。 讲课质量：老师人很随和，第二节课看大家困了还会开个玩笑让大家清醒清醒，PPT做得不错，讲的也还可以，属于线下相声+数学的奇妙组合。

课程内容：图论+命题逻辑+集合论，三件套 上课自由度：会点名，别玩失踪 考核标准：平时40（点名+作业）+图论考试20+剩余内容期末考试40 讲课质量：较高

课程内容：图论，数理逻辑，集合论，离散三件套齐活。 上课自由度：极高，老师偶尔点名，未到不扣分，到了的加分，这反向操作大家细品，品出来全是算计。 考核标准：平时成绩按次数计分；有期中图论测试，测完期末就不考图论了，期中占比一般20左右；期末占比大概40-50，格局谋得很大。 讲课质量：很高，老师备课相当足，作业布置也用心，助教改作业只能用细致入微形容，每次发作业还讲评，水平极高，简直是把知识往你脑子里倒。

课程内容：图论不讲，多讲SAT SMT、霍尔逻辑、形式化验证、图灵机 上课自由度：低，会点名 考核标准：40期末(大平台) 25lab(3个) 15quiz 20平时 讲课质量：王老师讲得偏慢，糜老师偏快 补充的内容和lab质量都是很高的 quiz开卷，刷点往年题就行

课程内容：图论，数理逻辑，集合论 上课自由度：有一次签到，课上随意 考核标准：预习题，作业，期中，期末（40%） 给分是没问题的，害怕的话写完作业对一下答案再交，我作业分一共就扣了0.5 期中我们这次比别的班级难，说是会调分，本人得分90%，调分效果不太明显 期末很基础，卷子只有一道难题，这门课考试给我的感觉就是知道基本概念就能拿高分，能不能满分跟平时努不努力无关，全看个人高中数学思维 因为课时原因感觉一直在讲概念，一堆定理定义，后面难的章节直接给删了，舞台搭好了却没人上来跳舞，完全不知道知识有啥意义 老师讲课速度很慢，节奏我不太喜欢，因为有点难的部分（集合论证明题）依然讲得不是很透彻

课程内容：离散数学，图论上大分。 考核标准：期中考（图论）+ 作业 + 期末考，一套combo接一套combo。 讲课质量：申老师人挺好，嘴上也挺生动，就是质量可能还得打怪升级几段，有些点它不是很容易钻进去。每周作业多到像考研倒计时刷题，难度也不低，那几道补充题倒是有点东西，啃完有收获。赵助教是条硬汉，作业堆成山也批得贼认真，还每节课都稍微讲几句作业。

课程内容：图论？不讲，直接跳过。Hoare Logic、SAT solver、SMT solver、Symbolic execution这些形式化验证的玩意儿一股脑灌进来，还附赠一点点图灵机当饭后甜点 上课自由度：随机点名回答问题，顺便发糖，平均一学期也未必能叫到你一次，剩下的基本放养 考核标准：作业/平时表现20%+3个lab（关于形式化验证）共25%+quiz（考额外内容）15%+期末考试（和电院其他专业一致）40% 讲课质量：逻辑部分整体其实比较慢，后半段集合论换糜泽羽老师讲，速度稍微快一些。那些额外讲的部分很有意思，lab也是相关的。个人感觉很不错。这门课虽然有3个lab，但其实都还算简单，代码量也很小（全部加起来50行不到）。quiz题型基本是固定的，开卷，可以对照往年题目做。据说从下一年起软院的离散就可以彻底脱离电院的统一安排，全部讲自己的东西。

课程内容：离散教材大部分内容，就是那种离散到你看完怀疑人生的内容 上课自由度：随机点名，像抽卡，非酋慎入 考核标准：平时+期中+期末，三件套伺候。

推荐指数：5 学期：2021-2022-1 课程内容：图论，数理逻辑，集合论，知识压缩包三联 上课自由度：很自由，但每节课都得打卡，打卡这根锁链锁着你 考核标准：考勤5，作业20，小测15，图论测试20，期末40 不是人类老师的问题，是人太好了，老是站我们这边着想；虽然离散这二字听着能把眼皮黏下来，但最后给分很能打。

课程内容：图形学打架、命题推敲、集合全家福门 上课自由度：撒开手脚，就是别想逃过每节雷打不动的打卡 考核标准：考勤5，作业20，小测15，图论测试20，期末40 讲课质量：属于那种喜欢上黑板盯着你解题的老师，每次上课先进一段复习回忆局；对学生也是心软路子，橘子甩手就发，抛出的疑惑统统不敷衍地回，压分这种事压根不见踪影，人格魅力一条龙级别的温柔(●°u°●)​ 」，这位老师是真的行 这类评论的人来撑场也太可以了

课程内容：图论+数理逻辑与集合论，脑子在天上飞。 上课自由度：比较高，偶尔点名，基本属于抽卡制。 考核标准：11预习题+22作业+7平时+20期中+40期末，人还没进门，分数已经在点名了。 讲课质量：不太行（有点催眠），但老师人很好，答疑也热心，等于师德的分数抵消了理论的催眠度。

课程内容：图论（cs），逻辑，集合，三块砖头一起往脑袋上拍 上课自由度：比较自由，人少的时候会点名，属于缺课侦察机偶然起飞 考核标准：平时，期中，期末，老三级套餐 讲课质量：一般性。。。上课讲的挺难（也可能是本人太菜），作业难度大，助教改得严，适合想要深入学习这门课程的同学，等于办了一张硬核健身房月卡，来得了就上

课程内容：图论+逻辑+集合论，一锅知识大乱炖； 上课自由度：挺高，规矩不多； 考核标准：每章学完来一波课堂小测（十几道选择题），碰上有些章节题量大到做不完、选择到手指抽筋，中间还插一场期中考，比例走年级统一，每次作业都有补充题，有几道还挺上头； 讲课质量：总体过得去，有些知识点讲起来略带一点点的抻巴劲儿，但依旧很推荐，作业丰富得像豪华自助；别人老师canvas上的选择题作业当成咱的课堂小测，一般10-15min，有些章节真的会来不及，除书本习题外还有补充题，那叫一个开拓思路。

课程内容：离散数学，名副其实地散装数学 上课自由度：有时点名，但答不出来老师也不会怪，只要被提问到都会奖励糖吃，用糖果绑架你的注意力 考核标准：quit在期末前，还有大平台期末考试，还有labx3，三波怪轮着来 讲课质量：很好，软院课程质量yyds，这波是软院之光。

课程内容：图论和数理逻辑。 上课自由度：来不来都行，我那学期点名？不存在的。 考核标准：平时作业30+期末70。 讲课质量：我其实觉得他讲得还行，但课上看起来没啥人听，他也还在尽力撑场子，那学期还加了些群论的内容，大概讲到同态基本定理，他问我们听懂没，底下鸦雀无声，没人听懂。

课程内容：大平台离散+群论基础，最后两节课直接空降群论，前面走的是人间路线，后面直接升维打击。 上课自由度：人不来可以，来了当植物人也行，老师主打一个佛系放养，教室对你来说就是个有椅子的直播间。 考核标准：30%平时70%期末，比例原汁原味，永不背刺。 讲课质量：一般，热衷于爬难度高峰，大平台之外疯狂插播扩展包，群论给你挖到一定深度，作业后期也悄悄上强度。催眠指数60-80，属于那种听着听着灵魂飘出去做数分的美。 一般而言是转专业的课，能成功选上不被踢掉的话，当个交叉还是能推荐一下的。期末完全白给，人均95+，平时分也全部白给，而且好像都是转专业的，不会对优秀率有什么特别的要求。典型上课造火箭考试拧螺丝，前端点燃固体燃料后端拧个M4。但是不会有上机作业和Lab算是一个缺点，感觉更像数院而不是CS的课。

课程内容：很细，细得像我拿棉签在抠知识点 上课自由度：每节课做题打卡，属实是把人拴在座位上 考核标准： 讲课质量：好

课程内容：数理逻辑 集合论 图论 上课自由度：非常高 不点名 但教室里大部分人都在听课，自觉程度离谱 考核标准：30平时成绩基本就是作业，作业也比较少 70考试，考试也不难 讲课质量：非常高，老师对离散数学发展的故事讲解确实引人入胜，直接把你对这门课的兴趣给点燃了，讲课和讲题也是非常清楚，非常有逻辑，来交大上课必选cyq老师！yyds！