离散数学 · 修读回执档案

0.5分送给网课那麦，断断续续跟拉稀似的；剩下0.5分送给120题的期末大礼包。老师人不错，耐心得像客服，重难点像红绿灯一样清楚，考点恨不得贴你脑门上，评教他是真看，看完还当堂对线回复。

课程内容：还可以，像快餐，能饱但不惊艳。 上课自由度：有问题形式的扫码签到，不点名——扫码即打卡，点到为止。 考核标准：下面同学说的很清楚，别问我，问就是复读机。 授课质量：挺高的，踏实得像老司机。

上课自由度： 较高，没有签到，可以自己把控学习过程，相当于自助式上课。 考核标准： 平时+测试（canvas预习题，实为复习题）+期中图论+期末数理逻辑与集合论——复习题在前面埋伏你，图论和数理逻辑在后面堵你。 授课质量：较高，还是不错的，不惊艳但稳。

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

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

课程内容：图论+数理逻辑+集合论，三门合成一个套餐端上来。 上课自由度：还可以 考核标准：30%图论+40%期末+20%作业+5%出勤+15%课前预习 授课质量：挺高的。

课程内容：图论+数理逻辑和集合论，图论学完就先考掉，期末直接跟它说再见 上课自由度：挺高的，老师在台上，你在台下，老师不太管你搞什么飞机，但每节课都有问卷形式的考勤（偶尔老师自己忘了放考勤，那就直接乐开花） 考核标准：平时分40（考勤5+预习作业15+课后作业20）+图论测试20+期末考试40 好家伙，这期末占比是我见过最小的，小到让人怀疑考试是不是赠品 授课质量：老师ppt做得漂亮，讲得也有条理，认真跟下来能跟上节奏。小瑕疵是讲课语气比较平（？），声音也不大，互动少，副作用就是特容易去见周公或者灵魂出窍······有次早八倒了一大片，下课后老师还特困惑地问，你们不是刚睡好了过来的吗，怎么还这么困（乐）

课程内容：图论+数理逻辑+集合论，数学天团三人组，标配发量蒸发套餐。 上课自由度：高，很少点名——宽松得跟开卷自习室似的，你想混可以混，但别指望灵魂能混过去。 考核标准：图论期中考+期末考+平时作业，考试就像套娃，一个接着一个。 授课质量：一般，感觉讲得不是特别清楚——有点像我追的一部剧情片，字幕全是加密通话，看得我眉头打结。

课程内容：图论+数理逻辑+集合论，三件套凑齐，大脑CPU直接原地起飞。 上课自由度：很高，老师不管，属于放养式管理。但老师人挺负责的，大家都run了，他感冒（或者阳了？）还坚持留在学校授课——这是什么，这是用生命在点名啊不，在用生命在讲课。期末出分之前老师助教甚至还专门发邮件给实在捞不了的同学，让他们抓紧申请缓考或者重考避免挂科，真的是善人！！！这波操作，简直是老师界的慈善家，捞人捞到邮件里。 考核标准：图论期中考+期末数理逻辑集合论考试+预习题+平时。所谓预习题其实改成了课后限时选择题，建议做之前自己再复习一遍，否则可能做不完或者错一片——限时选择题，这四个字组合在一起，就是一场手速与脑速的双重极限挑战，不做功课就上，直接表演当场翻车。 授课质量：讲得慢，认真听都能听懂，但是很容易走神——慢到你有充足的时间在脑子里把晚饭吃什么、周末去哪玩都安排一遍，然后回过神来发现黑板已经写满了。

课程内容： 上课自由度： 考核标准： 授课质量：老师很负责，讲得也很好，唯一美中不足的就是语气可能稍微缓一些，像慢速播放的ASMR讲师，一本正经地帮你进入走神状态。

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

老师人还是不错的 就是课程体验实在不敢恭维 16周canvas上收一个月之前布置的作业 上网课不管是用canvas还是腾讯会议就没有流畅的上完整节课过。这不是网课，这是大型多人在线忍耐测试。

***给分很好***这四个字直接镶金边，是那种能让深夜选课的人当场眼眶微湿的待遇 课程内容： 图论、数理逻辑与集合论，名字摆出来像上了三连发公式料理套餐，实际吃起来像是在自己厨房对着教程现场翻锅 上课自由度： 高，线下从不点名，线上时会发一个签到，但似乎也并不作为扣分的内容（？好像是给你发了一张到卡，但不贴门上看也没人真追究 考核标准： 平时40％（20％课后习题+20％预习题） 期中20％ 期末40％ 授课质量： 一般，全程基本是在念ppt，课程内容基本依靠自学，你以为在上课，其实是在旧PPT巡演现场自习。

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

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

课程内容：图论、数理逻辑、集合论，三大板块直接把脑子拆成三份用，一份负责画线，一份负责推演，一份负责怀疑人生。 上课自由度：很高，高到像选修了空气，但空气里偶尔飘来知识点。 考核标准：图论单独考试＋平时＋期末，层层加码，图论先出来单挑，后面的平时和期末负责群体围殴。 授课质量：较高，两位老师都很有意思，属于能在抽象符号里给你埋段子的稀有物种。

课程内容： == 图论+数理逻辑+集合论，三位一体，数学界的复仇者联盟，主打一个你学完也不知道自己学了啥。 教材： == * 《图论与代数结构》，戴一奇，清华大学出版社，1995，ISBN 7-302-01814-6 * 《数理逻辑与集合论》，石纯一等，清华大学出版社，2000，第二版，ISBN 7-302-04042-7 *老师本人对《数理逻辑与集合论》这本教材好像还蛮嫌弃的，哈哈哈哈。嫌弃程度大概像rapper嫌弃自己的伴奏。 上课自由度： == 自由，老师不管你干啥，而且线下课不签到，但是线上有。具体记不记分不是很清楚。疑似不记？总之线下是放养，线上是被圈养。 考核标准： == * 平时成绩40%：预习作业20%+课后作业20%。 预习作业15道选择题，据老师说是只要错的不超过一半都会给满。划重点：据老师说。 * 期中考试20%：图论内容。选择题+填空题+证明题。证明题属于是脑力摔跤。 * 期末考试40%：数理逻辑和集合论内容。这个学期是线上考试，一百二十道选择题，一题一分，不定项，在canvas上考的。不过canvas上的选项可以看出来是多选还是单选。线下考的话应该就是那种有选择有大题的吧，不清楚。120道不定项选择题，这出题思路，疑似想让你体验量子叠加态。 授课质量： == 怎么说……有点rapper和reader的感觉，尤其是他讲数理逻辑和证明的时候，仿佛置身于rap现场——也有可能是我脑子不太灵光qwq。主要还是靠自己看书吧。自学才是真正的主课。 数理逻辑和集合论部分的定理、性质之类的滂多，反正我是没记全……期末一百二十道题涉及这些记忆的有但不算多，掌握了一些基础的（指听了课看了书后能留有印象的）应该还是能应付得来的（指及格）或许吧）。双重括号，双倍心虚。图论期中倒还好，要记的没那么多，就是证明题可能要动下脑子。据说考前看看PPT有奇效？奇效这个词，懂的都懂。 *讲个题外话：老师讲课时总给我一种"嬉皮笑脸"的感觉。不是贬义的那种，就是纯字面意义的"嬉皮笑脸"：他讲课的时候总是咧着嘴角，眼睛笑眯眯的，好像很开心。那种开心仿佛他知道这课你最后还是得自学。 ======================================================= 2023.01.11 看到成绩了。本来老师说可能一百二十满分按一百分记的，那样大家还能多加点分，但后来说大家基本都在八十分以上，教学组长就没有那么做了。美好的愿望，终究败给了教学组长。上面说预习作业错的不超过一半都会给满，但我看我的平时分没给满，不过很接近，可能是课后作业烂了点。我就烂。我是将这门课当交叉选的，也挺满足了，感恩）当交叉上就是走在低空飞行的及格线上，能活下来就行。 回顾了一下这学期的上课体验，当交叉的话应该还算好水的。课后作业不是很多，考试也没有很离谱。就是预习作业可能稍微有点麻烦（个人认为），因为课后作业给的时间会长一点，而预习作业一般会要求在讲新课之前做掉，那样的话就相对比较赶一点，要提前看看书。预习作业属于是抢在新课前面预习，像赶在妈妈回家前把游戏机关掉。老师人也不错，考完试后主动提出给大家提提平时分，平常也没有表现得很苛刻。属于是刀子嘴豆腐心的反面——笑眯眯嘴。 2023.01.12 我对交叉的要求就是及格就行（x），所以我认为这门课还算可以。虽然有些东西确实不是很能理解，但是及格就行（x）。有些定理我至今没懂，但它们也没懂我，我们互相放过。所以的所以，就交叉的体验而言，我认为给个四星还算ok？不过如果是当专业课上的，那么老师的表现可能有点不尽人意qwq就是想到这一点才回来补评的，希望俺的点评不会误导部分同学orz。交叉是体验卡，专业课就是终身套餐，分层评价，很合理。

课程内容：数理逻辑 图论，脑子的体操课 上课自由度：高，佛系出席 考核标准：平时+图论考试+期末考试 授课质量：老师有问必答，对学生很负责，也好说话。讲课水平不算很突出，对着PPT，但PPT至少不是沉睡百年无人问津的化石，也算挺不错了~

老师是真的负责，你有问他必答，他自己也不会的？那也得先搞明白再回来告诉你，讲得也还行，就是全程照着PPT念经，但念得还算是念明白了的那种

老师讲课时能掏出不少干货，拓展的东西比正式内容还多，会教一些根本不考的东西，介意的慎重考虑。自由度超高，作业也寥寥无几。