王肇国 · 离散数学修读档案

- 25-26-1 的授课内容跟 24-25-1 比属于是复制粘贴级别的摆烂，直接翻以前的评论就行，别指望我重复第二遍。 - 上课自由度直接拉满，签到？不存在的。tiger 的课你人肉到场就有糖恰，跟往年一个味儿，没变。 - 25% lab + 5% 平时分 + 10% 作业 + 20% quiz + 40% 期末。我线下属于神龙见首不见尾那种，平时分照样满；作业也有几次手滑忘交，结果作业分还是满的。 - 三个 lab 难度都不高，工作量跟隔壁 ics 和 sep 的 lab 比，直接少一个量级，属于降维打击。 - quiz 考的是软院特色内容，开卷，助教会把过往五年的 quiz 试题全扔 canvas 上，考哪些题是公开透明的，准备起来跟开卷抄答案似的。想追高分的话一定要刷几套往年的题熟悉题型，然后针对难点（比如霍尔逻辑/图灵机）加强练习。 - 期末考的是大平台内容，跟 quiz 压根不在一个次元，闭卷。大平台部分的课程内容比较简单，大家平时普遍学得比较水，而且由于平时作业的“强度”并不大（选择题、概念题居多），所以到期末的时候很容易缺乏练习！历年期末试卷大平台要求不能提供，考前除了复习一遍课本或者 PPT，一定还是需要找渠道进行一些额外的练习的。想追高分的同学一定要注意！ - 助教很好（26-27-1 的助教很可能还是他），亲切友善，答疑及时、耐心。

课程内容： tiger：命题逻辑+谓词逻辑+霍尔逻辑+SAT/SMT/DPLL/EUF几个notes，听着像黑客电影里飘过的台词 糜老师：集合论+自动机+图灵机 上课自由度： 极高，基本没有签到，课上会点人回答问题但是答不出来也不要紧，线下过去有糖吃。对，有糖吃，知识的味道是甜的，或者至少是含糖的。 考核标准： 25%lab（3个，比较简单）+30%平时（quiz+作业）+45%期末，这套组合拳属于先把甜枣挑了，剩下让你冷静面对。 授课质量： 很高，tiger的tom jerry的课件是真的有趣，认真听上课收获很大，糜老师也很nice，唯一一点美中不足就是图灵机最后讲的有点快了，嗖一下图灵机就合上了盖。 lab和作业按时交基本能拿满，期末相对不是很难，不过quiz的难度不小，虽然开卷但是有可能写不完，最后quiz的普遍分数也比较低。开卷归开卷，写不完的卷子就像敞着门的高速公路，你也照样赶不上末班车。

质量这块,就像 #37807 说的那样,黑不动,也没得黑。 自由度这块非常自由,一节课都不去全程看回放都行,主打线上修仙。 体验非常好的一门课,就是你这学期的quiz和期末为什么给出的刀这么快啊…… 于是减一星（）

也许是软件学院质量最高的一门课，高到可以刻在碑上。 + 课程有纲领：为了程序验证，方向感拉满 + 课前有预习：5道预习作业，不多不少正好五道 + 课中有讲义：Tom and Jerry 的可爱讲义，童年回忆杀 + 课上有示例：PPT上有逐步推导，老师也会板书，手把手教你 + 课后有巩固：Canvas 几道课后习题，不多，但精 + 考前有串讲：彻底理解从命题逻辑到谓词逻辑到霍尔逻辑一步步解决了什么，一条龙服务 凡有此六点，还能要求什么！就差帮你把飯喂到嘴里了。

### 课程内容： **这门课不上图论，直接给你端上来形式化验证和图灵机，非软院的家人请先摸摸自己的培养方案，确认缺了图论这口粮会不会饿死本专业。** - 数理逻辑、集合论（就课本上那点） - 形式化验证，求解器（tiger） - 图灵机（糜老师） ### 上课自由度： 高到离谱，基本没点过名（也可能就是一次没点，但我确实失忆了），上课回答问题能拿糖，点到没来也就是双方尴尬一笑，没有额外惩罚。canvas上还会开讨论区。 ### 考核标准： 40% 期末（大平台内容） quiz，开卷，只考**软院特色部分**（比例忘了） 3个必做lab（难度不大） 1个bonuslab（5分加分，不过不做的是大多数） 平时作业 ### 授课质量： 超级高，相当有软院特色。tiger和糜老师还会发自己整理的note，配套预习作业，跟着这部分走，没必要课下额外花多少时间就能很好的掌握这门课。

课程内容：逻辑+集合论（期末考） 形式化验证（SAT+SMT+霍尔逻辑）+图灵机（quiz考） 上课自由度：签到？稀有物种。主战场是课堂随机抽人点名，答不上来也没关系，开口就有糖，糖发完了这节课基本就进入无点名安全区 考核标准：3个lab折算25%，quiz折算15%，平时5%，作业15%，期末40% 授课质量：老师上课挺有趣，讲得也容易懂，就是作业（预习+复习）有点难度，得花时间，认真做完的话平时作业20%基本都是给满的；lab难度不高，但有些花时间，全是上课的知识；quiz开卷还能看历年试卷+答案，只要熟练做得快，拿90以上没有难度，期末120道选择题两个小时属实有点阴间，还好占比不高。好老师，考得不好是我的问题

课程内容：逻辑+形式化验证+集合论+图灵机，四件套打包，脑细胞批发市场。 上课自由度：比较高，除非老师点到你而你恰好不在，那就是你自由过了火，火葬场相见。 考核标准：40平时成绩（作业+小测）+60期末考试，平时成绩可以做bonus lab加点分，相当于打游戏开个奖励关。 授课质量：好！！有很多的软院特色内容，看得出来老师确实想让同学学到一些东西而不只是应付考试，这年头不纯应试的老师比野生大熊猫还稀有。

课程内容： 离散课本上的逻辑和集合论+老师补充的形式化验证与图灵机 上课自由度： 一般，网课期间和线下课叫人回答问题频繁（但是好像老师都是专门抓着几个人点），像那种总是抽同一个幸运观众上台表演，但你只要降低存在感就有概率躲过 考核标准： 40期末+5平时+15quiz+25lab+15作业 授课质量： 很好，听起来还是比较轻松的，期末复习的时候也复习的很快，lab很简单加起来的代码行数不到百行，平时分给分也不错，老师人也很好。这大概是这学期含姆量最高的课了

课程内容： 大平台的1，2，4，5，9，10，11章内容加软院特色的形式验证和图灵机内容。 上课自由度： 高 考核标准： 40期末 15quiz 25lab 5平时表现 10作业 授课质量： 老师真的人很好，平时会抽人回答问题还会给糖，平易近人到像楼下便利店老板。课讲得也比较通俗易懂，学不好是我的问题x。 永远可以相信软院的课。

课程内容：课本那套（数理逻辑与集合论，图论缺席）+ SAT Solver, SMT Solver, Turing Machine....（软院纯享限定款） 上课自由度：必修课你还想要自由？（乐）老师会随机点人答问。但这学期两节都排早八，所以“早八人：表面镇定，实则困得魂飞魄散”（Tiger语） 考核标准：平时作业（预习+复习）+Quiz（主攻形式化验证和图灵机那块）+期末考 授课质量：好好好！

课程内容：《数理逻辑与集合论》+图灵机 上课自由度：刚开始线上时点过几次名，往后就挺宽松了 考核标准：40期末(和大平台一起考试)+25lab(*3个，还有个bonus lab，可以额外加分)+15quiz（考课本之外、软院自己添加的内容）+20平时成绩 授课质量：软院的课质量是有保障的（ipads，yyds）。实话实说，thu这本教材就像本字典，知识点密密麻麻地罗列，看得脑袋嗡嗡的。但课程本身塞了不少非常好玩的东西，上完起码感觉装进来一堆有手感、能用的货，而不是书里那些飘在半空的运算式（比如那几个lab，难度其实不大，写完收获还是有的）。唯一的bug是……图灵机那是真的快and难呐（也可能是期末了）……

课程内容：图灵机➕数理逻辑与集合论，主打一个脑子出厂设置重装 上课自由度：会点名回答问题，随机抽取幸运观众上台表演当场社死 考核标准：40期末(大平台) 25lab(3个) 15quiz 20平时，分数蛋糕切得比我人生规划还细 授课质量：挺高的，高到我怀疑老师是不是偷偷开了倍速 课程质量很高，唯一一点比较难受的就是后半段集合论和图灵机讲的有点快，快到我低头捡个笔，抬头已经在讲下一个宇宙了

课程内容：图论？不存在的好吧，课上直接给你上SAT、SMT、霍尔逻辑、形式化验证、图灵机，纯纯的赛博炼丹炉 上课自由度：低到地心，还会点名，点一次少一次修行 考核标准：40期末(大平台)+25lab(3个)+15quiz+20平时，主打一个一条龙伺候 讲课质量：王老师是0.5倍速，糜老师是1.5倍速，两位老师凑一块儿刚好等于正常播放速度 补充的内容和lab质量都是很高的，lab做完感觉能去投顶会（错觉） quiz开卷，做个往年题就行，主打一个开卷有益

课程内容：不讲图论，额外讲Hoare Logic, SAT solver, SMT solver, Symbolic execution，主打一个你点的是套餐结果上的是限定隐藏菜单 上课自由度：随机点名回答平均一学期叫到一次，属于薛定谔的出勤威胁 考核标准：作业/平时表现20%+3个lab（关于形式化验证）共25%+quiz（考额外内容）15%+期末考试（和电院其他专业一致）40% 讲课质量：其实逻辑部分整体是比较慢的，慢到能数清老师每个字的重音，后半段集合论部分换糜泽羽老师讲速度稍微快一些。那些额外讲的部分很有意思，lab也是相关的。quiz题型基本是固定的，开卷，可以对照往年题目做，相当于提前把答案焊死在脑子里。

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

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

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