丁宁 · 离散数学修读档案

课程内容：图论+集合论 上课自由度：选课的只有十几个同学，最后老师把稳定来上课的同学的名字都记住了😂，这班里出勤跟认亲现场差不多。上课会不时走下来问问题，但你在干什么老师也不管。会点几次名（不过按前述情况似乎点不点名无所谓了 考核标准：平时40%，期末60% 授课质量：感觉中规中矩，考点全覆盖，会比较枯燥。老师会拓展课外的内容，课后作业也会涉及，但是考试肯定没有的——就像预告片里全是正片没有的镜头。 感觉给分其实不错，全勤作业全交，没有啥乱扣分的情况，不知道是不是因为选课人数少（这种情况下总分少一人可能都算珍惜物种。

课程内容：数理逻辑、集合论、图论，三段式套餐。前两段是上册，就是清华那本数理逻辑和集合论的1、2、4、5、9、10、11章内容，第三段是下册前3章。上面这些是考试范围，但课上还会疯狂往里塞补充问题，几乎每一章都有拓展内容，作业也跟着沾光，然后考试：不考。像极了加班干的活儿，最后汇报时老板说这不计入KPI。习题课都是休息时间线上腾讯会议进行，不会上课的时候单独弄，这点还是有点恶心，所以有2次没去，大概频率一个月一次。不需要什么编程基础，但需要一点点的算法知识，所以电院外的学生学一下也是没关系的。 上课自由度：还行，偷偷做点自己的事情不会管。但是他会走下来问你是否有问题，像个巡逻的NPC，喜欢到处走看看一直低头做什么。还会点名，大概一学期3~4次吧，但是每次来的人都是那几个，每节课都有人不来，出勤表比股市还惨淡。 考核标准：平时分40，期末考试60。平时分就是作业出勤这些。作业是周末布置，第二周上课前交，这一点就很想吐槽——经常周末没布置，周一开始工作学习了才开始，周末那么多时间都写不了这门作业，bug加载时机跟生活作对。考试就是考上面考试范围的东西，在考试周进行，题型是选择题20道40分，剩下60分都是大题，3个部分各自20分每个部分3个题。像是三份外卖，各20块，谁也逃不了。 授课质量：很一般吧。看之前的评论很担心莫名其妙扣分，但事实也没有，属于虚惊一场。每周认真写作业，然后考前花两天认认真真复习，考试基本没什么问题了。但老师人也还可以，不为难学生，给分可以就行，事情也不是很多。给个4星吧还是。

先把丑话摆前头。这学期的离散数学是专门给转专业到电院需要补修离散的同学开的，所以教学内容和别人不太一样，比如每周只有一次3节课的大课，学的东西跟各专业内部开设的离散也不尽相同。所以下面这些纯属本学期丁宁这门课加本人主观经历的产物。 课程内容： 书本上册和下册部分章节，下册只前三章。具体canvas上有写： 1. 命题，命题联结词和真值表，合式公式，重言式 2. 命题形式化，等值定理，等值公式，命题公式与真值表的关系，联结词的完备集 3. 范式，推理形式，基本的推理公式，推理演算 4. 谓词与个体词，函数和量词，合式公式 5. 自然语句的形式化，有限域下全称和存在谓词的表示法，谓词公式的普遍有效性和判定问题 6. 谓词的否定型等值式，量词分配等值式，谓词的范式（不包括存在型前束范式） 7. 基本推理式，谓词的推理演算，集合的概念和表示方法，集合间的关系和特殊集合 8. 集合运算的性质和证明，集合的运算，有限集合的基数 9. 二元关系，关系矩阵和关系图，关系的逆、合成、限制和象 10. 等价关系和划分，偏序关系，函数的选择公理 11. 图的概念，代数表示，道路与回路 12. 欧拉道路与回路，哈密尔顿道路和回路 13. 树的有关定义，Huffman树，最短树 上课自由度： 你说高吧，他每节课都在不定时间搞突击签到，时间不定是因为下课时间不定。不光要扫码签到，还有一半以上时间线下点名一个个叫，每次群里都能刷出一串线上签到的消息。而且请假也好线上也好，破事都得发邮件跟他沟通，群里问要么不回，要么甩一句“详细情况发到我邮箱。”而且不管你请没请假，没扫到码就是未签到，就是最后canvas签到表里被扣掉的那个数。虽然说签到不算分，但我不好说。具体为啥不好说，最后再讲。 但你说低吧，只要你往后排一瘫，干什么都不管你。虽然他还有招牌互动“同学你有什么问题吗”，但据本人亲测，只要你眼神躲得比贼还快，或者专心忙自己的事，他也就跳过你了。所以这课本质上就是个要求你到场的两小时晚自习。 授课质量： 因为不了解，所以我不妄下定论。之所以不了解，是因为完全没听。之所以没听，是因为听不进去。但还是能说两句：讲课就是照既定模板走流程，倒也会掺一些考试不考的内容，还会出现在平时作业里。 考核标准： 重头戏来了。 开学据说总成绩是20%预习成绩、20%作业成绩和60%期末成绩组成。 听起来正常得不能再正常。于是本人整个学期预习题认真预习认真做，作业题认真学习认真做，期末认真复习认真考。当然课是没听的。然后期末成绩一出，一看，考得还不错。再看看总评，比考试低8分。点开一瞧：平时成绩烂了。 这我就看不懂了，读两年大学第一次大开眼界。我寻思作业预习一次没落，签到除了请假也都签了，到底怎么回事？于是我就去实践他最爱的邮件理论。我一开始以为是他扣了我一堆签到分，结果邮件回我说是我平时作业“一半做的还行（合格以上），另一半则相反”。这我就乐了。点开canvas平时作业栏，唰唰十余次作业，没有一个评分，没有一个评价，没有一个反馈。批过吗？我不知道。所有学生总评里这20分，没人知道是怎么给的，只知道是他给的。 我后来又回了一篇邮件，但他大概是端午节放假没看工作邮箱，于是我也作罢，写篇小作文画个句号完事。 总结： 你要有别的老师能选，别犹豫，快跑。你要不幸也是补修课学生非选他不可，先掂量掂量。能下个学期再选吗？能就尽量下个学期去上正常的离散数学。实在还是落到这门课，那就参考参考我的以下建议吧。 1.线下能来课堂就来，能签就签。签到分他说不算，但平时成绩里到底占不占分量，没人知道。反正来这儿干啥都行，又是周五晚上最后几节，干脆把一周作业做掉换一个清净周末。 2.作业也好预习题也好，能抄答案就抄答案。交大传承也好QQ交流群也好，抄就完事了。所有东西都只有一次提交机会，而且唯一已知的坑是预习题每错一道期末总分-0.3分。你可以自己做一遍巩固知识，但提交一定得交正确答案，100%正确那种。 3.课堂完全可以不听，期末也一样。复习时把canvas上的课程内容或者我上面写的课程内容（如果教纲没变的话）在书上一个个找出来，好好看看好好背背，再找点历年卷子做做，就能去考了。难度是肯定不高的。 唉，读了两年这么多课，第一次见这种老师，第一次这么栽在平时成绩上。

老师我觉得还是比较负责的，可能就是真的点了授课这条技能树没点亮吧 给分感觉也就这样，也没想过会太好，太差也不至于，转专业同学时间凑不好也没得选，直接躺平orz 课还是得去一下，毕竟点名方式太典了，去了课上自修就行

课程内容：数理逻辑、集合论、图论 上课自由度：几乎每次都得扫码 到场人数少于扫码人数就线下点名对线，坐后排自由度还算能苟 考核标准：平时+作业+期末 授课质量：那还不如自己抱着课本悟，上课拓了一大堆考试压根不考的边角料，不管课内还是拓展全都讲得像加密通话，作业甚至还专挑那些拓展内容布置。上课还特别喜欢踱下来指着前排的同学问：“你有什么问题吗

课程内容：绝大部分内容都和考试毫无关系，上课像给你讲平行宇宙，考试死在另一个位面。 上课自由度：低，几乎每节课签到，并高频率点名，点得比你自己偷看手机的频率还勤。 考核标准：预习题20+作业20+期末60. 作业题和上课一样，大量出现和考试内容毫无关系的自己的出题，浪费时间。作业题像在另一条赛道跑马拉松，考完发现跑岔路了。 授课质量：不知所云，纯纯的浪费时间，感觉脑细胞集体申请工伤。 ------------------------------------------------- 出分后更新，之前的评论是看到莫名其妙的作业题后来评的。 本学期共签到13次，点名10次左右，本人缺勤一次，作业全交，预习题错了几道，平时分扣了不到一分. 期末考改卷应该也不严，该给的分都给了，所以最后拿到的成绩不错。 但上课体验确实很差，在每次都去的情况下会浪费16个晚上。 离散数学这门课对于转专业的同学而言是很简单的，平时不需要在上面花什么时间，因此还是推荐选cyq的课，能节约大量去上课的时间去干点别的事，而不是在课堂上坐牢。 如果确实不幸选到丁宁，每次课坐到最后一排自习即可。

课程内容：底下已经写得跟说明书一样细了 上课自由度：低，低到地心，我一节课都没听过，但被签到表逮得跟缓刑犯一样，几乎每次都得去报到 考核标准：20作业20预习60期末（就很抽象，学期初讲给分的时候明明没提考核这码事，结果天天签到签得比上班还勤） 授课质量：烂，全方位无死角的烂，考试范围内的知识讲得不清不楚，不如自己啃书，补充的那些东西不知道能干嘛且同样不清不楚，作业留的也是，几乎每周都得对付几道稀奇古怪的题，ppt也不适合复习和速通，要是考完给分还行的话再回来给他平反吧，不然就是烂得明明白白透透的 辅修来选的，一学期除了去签到没听过一次课，最后考试前只学了8h，之前一点没学过作业全靠答案，学的时候感觉自己必挂无疑，结果考的全是最基础的东西，难的是一点没考，挺好

课程内容：集合论+群论，两大门派轮番上阵 上课自由度：一般。老师会一路往下推，推着推着就冒出一句“同学，有什么问题吗”“同学，听懂了吗”。要是他记住了你的脸和名字，那提问频率还能再上一个档位。课上有签到，签到时间随机掉落，一看没人签了就啪一下关掉签到码。要是感觉到场人数<签到人数，还能追加线下点名。回马枪，小子！ 考核标准：20%预习题，20%课后作业，60%期末 授课质量：不如自学。老师好像是搞TCS的，科研水平咱不知道，但个人感觉不太适合教这种专业基础课。选这课的基本都是交叉/转专业补修，课上会拿TCS理论知识当拓展包疯狂往你脸上糊，课后作业还塞一些奇怪的证明题。或许对交叉方向有点帮助，但对我这种只想把学分修明白的转专业选手来说，纯纯的折磨。因为拓展太多，课上对“简单”的课本知识会飞速掠过（双引号表引用，非反语），再加上课前预习题压着，上课前基本已经预习完了，课堂上真的没什么需要听的。可以说老师上课态度还是挺好的，很认真，但确实不适合教这门课，或者说不适合教当下环境里的这门课。总之对我来说课堂可有可无，基本就是过去摆烂/写作业。预感平时分（预习+作业）会被扣得很惨，期末考完再来编辑。 --- 出分了，平时分还可以，期末给分也还行。总的来说老师上课确实算尽心尽力，但作为学生，上课体验也确实比较折磨。

课程内容： 1. 命题，命题联结词和真值表，合式公式，重言式 2. 命题形式化，等值定理，等值公式，命题公式与真值表的关系，联结词的完备集 3. 范式，推理形式，基本的推理公式，推理演算 4. 谓词与个体词，函数和量词，合式公式 5. 自然语句的形式化，有限域下全称和存在谓词的表示法，谓词公式的普遍有效性和判定问题 6. 谓词的否定型等值式，量词分配等值式，谓词的范式（不包括存在型前束范式） 7. 基本推理式，谓词的推理演算，集合的概念和表示方法，集合间的关系和特殊集合 8. 集合运算的性质和证明，集合的运算，有限集合的基数 9. 二元关系，关系矩阵和关系图，关系的逆、合成、限制和象 10. 等价关系和划分，偏序关系，函数的选择公理 11. 图的概念，代数表示，道路与回路 12. 欧拉道路与回路，哈密尔顿道路和回路 13. 树的有关定义，Huffman树，最短树 上课自由度：三节连上的中间只休息一次，会canvas扫码签到且光速关闭页面，有时候会辅助现场点名，如果遇到课程冲突等情况建议提前给老师邮箱发送证明以请假。 考核标准：20%作业题+20%预习题+60%期末考 授课质量：没错，上一条评论里那个坐在第一排的哥们就是我本尊。 先把话撂这儿：我是来选交叉课的，考试的分数跟我的心情曲线基本没啥交集。 我和老师互动，纯属老师问有没有听不懂的，我恰好真听不懂，就举手报了个到——要是这个动作把大家的听课体验创飞了，我深表歉意，也许我该课后单开小窗找老师。 我自己觉得课程内容挺香，给自己不了解的领域开了个天窗，而不是把课本上的东西再嚼一遍。 以上纯属个人观点，欢迎各路神仙拍砖，课程更多具体信息等期末再补，我这评价只是提供一个不一样的视角，记录我的真实上课体感，我跟老师又没利益关系，粉饰问题图啥？ 最后，还是为我的课堂表现对其他听课同学造成的干扰感到抱歉！ ___ 我十分理解主修这门课同学的感受，可能和我大一时候上某位老师的线性代数课一样，老师确实证明了很多东西来试图让我们理解本质，但对于有应试要求的课业繁忙的同学们来说上课时间确实是十分煎熬。我从一个选交叉课的学生角度来说对于应试内容多少没有什么要求，但只能代表自己。之后我也会尽量改进自己的互动方式，在减少对其他同学的干扰的条件下解决自己的问题。希望大家期末都能拿到一个满意的成绩！

恭喜第一排那位哥们喜提一对一私教，这下真·量身定制了 --- 冷静一下，我对第一排同学真的没意见 我想说的是：老师讲的内容直接和课本离婚，基础知识也属于是荒野求生状态，整堂课就是一场大型单口相声，讲的净是些我觉着过于超前、考试约等于不会碰的东西，全班大概一起掉线。只有第一排同学能接住老师的梗，硬撑起这摇摇欲坠的课堂氛围。当时下课的感觉就是俩小时青春喂了狗，怒气值直接拉满，所以输出猛了点，再次说声抱歉。

课程内容：不叫离散数学，叫《造火箭从入门到放弃》 上课自由度：一坨shi，分数占比摆在那儿，你不出勤签到拿什么抢分啊😅 考核标准：20%课前预习 20%平时作业 60%期末，每一分都在你坟头蹦迪 授课质量：上课70%的时间在讲课本上没有的东西，你课前得先把书自学完，卷王听了当场绝 -------- 自由度低到窒息，上次课老师课间在canvas签到，没来的大概率签不上，甚至有点名签到🙄 -------- 课后作业是什么啥ber，附加题加上自己出的不明出处的题，逻辑乱得像我期末的心情还看不懂 中期退课了， # **快跑!**

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

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

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

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

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

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

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

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