离散数学 · 修读回执档案

课程内容： 和别的评价一样 上课自由度： 高，我当时网课，基本没怎么听。网课之前好像也能不去 考核标准： 和别的评价一样 授课质量： 好像挺高的，听过几节，老师讲得挺清楚的，但我大摆子后面就没怎么听了（因为看选课社区说和考试相关性不高） 每章有预习作业，想摆可以去传承抄答案，反正做错了也给分，没关系。我当时舍不得积分，每次都认认真真看了书自己写，花的时间不少，结果每次写完预习课也就懂了不用听了。总之我基本靠书自学，书写得很清楚好懂，最后考得还行，想复习考试多看看传承就好了

当交叉课来上简直血赚中的血赚，整体水得能养鱼养虾养王八。老师爱拓展，你不听也行，但拓展那玩意儿还蛮带劲的，跟彩蛋似的。考试不难，不算拦路虎。就是平时作业评分标准有点迷惑行为，搁这儿卡Bug呢，不过当交叉就一大型天然水课，平时知识点简单得像1+1，不听课考前抱佛脚，分也不会低到哪去。

课程内容：ppt和书，主打一个图论加离散，知识它不进脑子啊，纯纯电子榨菜配纸质安慰剂 上课自由度：高到仿佛老师在你的人生里只负责挂个名 考核标准：作业加考试，经典双打组合，跑得了和尚跑不了庙 授课质量：高，属于是那种你人坐在教室魂已经飘走但回头一想好像还真听懂了点的玄学体验

课程内容：两本清华大学出版社的书——《图论与代数结构》和《数理逻辑与集合论》的部分内容。 上课自由度：高。 考核标准：40%平时作业和课前预习（都交了就给满）+60%期末考试。 讲课质量：高。 补充：要是学过数字电子技术和数据结构，这门课里能算新东西的就剩谓词逻辑、逻辑演算、集合论与关系那点内容了。老师还会讲很多不考的——仿佛在知识的自助餐厅里狂夹，端上来的却全是菜单外的菜。

课程内容：图论与数理逻辑，两个烧脑模块绑在一起走。 上课自由度：比较高，课堂上课的时候老师比较经常点名回答问题或者问听懂了没有，后来疫情就偶尔会点名，签过一两次到；检查强度前后像翻脸式的差异。 考核标准：平时分40%（作业、canvas预习题各20%，老师是完全按照作业结果给分的，如果预习题错误较多，平时分会扣分比较多）+期末60%（canvas线上全选择题），考勤有回放但你回和不回看起来都是故事。 讲课质量：感觉基本考试内容老师都在念PPT（虽然普通话很标准），会有点催眠，但老师上课经常会讲一些超纲的内容，不太听得懂，相当于台上有意思的点和有睡意的点并行发售。离散作为交叉课还是不错的，平时作业也不太多，一次3-5题左右吧，预习题3-5道。期末以前听说比较简单，但今年考试闭卷全选择100道题，考得比较细，分数不太友好，平时分也扣的比较多，考完只剩一个被细细啃完的错觉。

课程内容：图论与数理逻辑，听着就像脑筋急转弯大全 上课自由度：高，虽然本人两次翘课错过了签到，但这学期没有签到分，属于是逃过一劫 考核标准：预习题+平时作业+期末。每年考试范围应该都一个样，但今年是2h100道选择，对我来说比往年证明题友好得多了 讲课质量：老师水平应该挺高的，但我重修刷分上课从不听，考前复习一下就直接上了；老师讲的东西经常性超纲，纯粹冲考试的话根本不用知道那么多，还不如把基础盘稳。感觉第一次上这门课、不懂考试套路的同学会吃点暗亏。要是只想水一水，我反而很推荐来这里，在他上课的时候自修，白嫖教室自习位

上课自由度：高，可以肆无忌惮地摸鱼，人形罗非鱼本鱼 考核标准：平时40（作业20预习20）+期末60（网课是100道选择题） 讲课质量：上课造火箭考试拧螺丝，考起来其实挺简单，作为交叉课很棒，知识能捞到点、时间也不用大出血。我是交叉课不太在乎分数，但100道选择对想冲分的同学确实不太友好，而且一开始没说清楚预习题占多少比例，本人纯纯摆烂，平时分就这么被扣了10分。。。各位做作业还是慎重一点。。

课程内容：数理逻辑，图论 上课自由度：高 考核标准：46开，期末100道选择题，老师嘴上一直絮叨着“尽量做，会调分的”，结果根本就没调，平时分基本被扣光，把转专业的同学坑得透透的 讲课质量：专挑难的、不考的来讲，最后三节课还连甩新知识点，讲到最后十分钟轻飘飘来一句“这次讲的都不考”，也不带着复习，考前一天才发范围，你自己品品

课程内容：PPT打主力，但老师像切台一样在PPT和教材之间反复横跳，主打一个赛博游牧，非常自由。 上课自由度：非常自由，没有点名，出勤全靠缘分和良心。 考核标准：作业+预习作业+期末考试，三件套凑齐召唤神龙。 讲课质量：老师讲得又逗又带感，例子多到像在给脑子发免费自助餐，真的能让人对理论计算机科学和数理逻辑升起一种“我想转行去证定理”的危险冲动，当入门课简直天选。只不过课上的信息量像高压水枪往你脸上滋，稍微一走神，集合论、关系、基数那几块就直接原地吃瘪，有些东西确实反直觉到怀疑人生；论证风格也没那么严谨，更像带你逛一遍知识和思想的大观园（这里悄悄安利一下汪霆宇老师的数理逻辑，想追较严谨推导过程可以冲，数理逻辑推理系统部分会挖得更深）。 因为是线上考试，所以全是选择。难点还是基础概念那点咬文嚼字的活儿，大体上考得不难。

课程内容：数理逻辑与集合论、图论，主打一个让你在符号森林里迷路顺便被图论伏击 上课自由度：高，高到你可以自由地听不懂 考核标准：平时作业+期末考，熟悉的两件套，一个负责榨干你的周中，一个负责收割你的期末 讲课质量：课程内容丰富，上课幽默风趣，讲课质量高，老师属于是把枯燥东西讲出综艺感的那种

课程内容： 数理逻辑：上册第1、2、4、5章，主打一个“1、2、4、5，3呢？3被你吃了吗？”——对，跳过，就是这么叛逆。 集合论：上册第9章，罗素悖论吓得我连夜把抽屉里的自己薅出来看看是不是自己。 关系：上册第10章，别人上课学关系，我上课理清自己跟绩点的关系——纯纯的单相思。 函数：上册第11章。 图论：下册第1、2、3章，画点连线的艺术，简称“命运的齿轮开始乱转”。 考核标准： 平时成绩：40%，课前预习与作业各占20%——预习也配计入分数，意思是我课还没上人就已经被判了刑。 期末考试：60%，数理逻辑、集合论、图论——注意，函数和关系连卷子的门都没挤进去，它们终究是错付了。 讲课质量：普通话很标准，按照ppt的顺序讲课——标准到你挑不出刺，讲ppt的顺序稳到你以为这节课的进度条是人手拿尺子画出来的。

课程内容：清华那本紫皮书，紫得跟我期末周的黑眼圈一个色号 上课自由度：高，老师似乎开启放养模式，基本不怎么管你 考核标准：期中+考试+预习题+平时，四件套凑齐直接召唤神龙 讲课质量：老师讲课略微有点拖沓，像2G网加载长视频一直在缓冲，而且平时的事儿是真不少，但给分倒还行，最后平时分基本给你喂满，至于期中考试，那是特别难，难到我怀疑卷子是拿紫皮书自己出的

课程内容：数理逻辑、集合论、代数结构、图论，桌上四菜齐了 上课自由度：高 考核标准：作业小测期末（期末不含图论但你放心，小测会单独点一次图论的名 讲课质量：高

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

课程内容：图论（第六周考完就光荣退休），数理逻辑，集合论 上课自由度：高，偶尔点名，但后期基本各玩各的。 考核标准：20图论期中，40作业小测和考勤，40期末考试。 讲课质量：讲课这块属于灾难片，绕来绕去加上循环播放的“对吧对吧”，天花板级别的啰嗦。但老师人还算负责，能讲的都给你讲到，ppt做得倒是相当能打。我当时那门课的助教严苛到拿显微镜改作业。小测多得离谱且敷衍，题量总是远超限时的量，老师仿佛不知情。作业量不定期爆炸。平时分真的是按比例往下扣，别想拿漂亮数字。期末考试非常简单，但扣分扣得也是莫名其妙。

课程内容：清华紫色书，紫得发黑那种 上课自由度：挺高，全程只点过一次名，还是因为台下人少得像凌晨自习室 考核标准：图论+作业+预习题+期末 预习题纯纯的bug，啥都没学就让做还计分，最后只能伸头瞄室友的屏幕 图论考试是几个班里最狠的一档，不过老师说会调分。也可能这次期末卷子简单得太离谱，大家分都高，调分这事儿就搁浅了。 讲课质量：老师人超好，热心肠，质量中等，坐那儿容易进入待机模式。上课前会复习上节课的知识点，每章还总结，这点挺香的。 期末平台出卷，难度随缘。这一年就简单得冒泡，难题只有一道。

课程内容：图论与数理逻辑 上课自由度：挺高，会提问，问得你汗流浃背那种？不，就正常问。 考核标准：平时作业20+期中考试（图论）30+期末（数理逻辑）50，这分配比食堂打菜还利落。 讲课质量：一般，过书，属于人形翻页器，但是老师人很好，好到你想替他去上这门课（但并不会）。 平时作业可以看那个题解书，等于开了物理外挂；期中考试很简单，考前的晚上过了一遍书上各种推导过程就考了满分，这波是突击式白嫖成功；期末也不算难（如果好好学的话大概很好满绩，只是我后半个学期事情太多了没去上课tt）；我是当交叉选的，是个不错的选择。

课程内容：图论+逻辑+集合，集齐三颗龙珠也召唤不出龙，只能召唤考试。 上课自由度：高，无签到，不管，你人坐在教室灵魂去食堂都没人拦。 考核标准：期中考试只考图论，期末考试只考逻辑和集合，但是平时分会扣分比较多，属于平时放养、期末索命。 讲课质量：一般，有的时候会把自己绕进去，像导航说“您已偏航”，基本上就是带你过一遍书本的内容。

课程内容：图论、数理逻辑，两座大山直接往你脑门上叠buff 上课自由度：高，高到你可以自由地怀疑人生 考核标准：40%期末，40%期中图论，20%平时，这配比像极了把你四分五裂再问你疼不疼 讲课质量：老师应该是第一次本科授课，属于新手村直接开boss，尽力了；有点口齿不清，有点沉闷，听感大概像在梦里听人念经，还是那种不太想让你听懂的版本

课程内容：图论，命题逻辑，谓词逻辑，集合，关系，函数——一锅离散大乱炖。 上课自由度：不点名，人来不来全靠自觉和缘分。 考核标准：20图论40期末40平时，三座大山按20/40/40劈开。 讲课质量：一般，感觉给分不太友好，不过老师人挺好的，属于刀子是分数、豆腐是老师。