离散数学 · 修读回执档案

课程内容：谓词逻辑、数理逻辑、集合论、图论、函数、关系——一堆让你怀疑自己到底是不是来学数学的东西全给你端上来了 上课自由度：高到飞起，签到是什么？不存在的 考核标准：20预习20作业60考试，就这个配方 授课质量：老师讲课时有水平，还挺幽默，但话匣子一开就刹不住车，属于能讲到隔壁星系的那种。中国邮路、势、公理化全都唠过，特别爱照着莫先生那本书上课，公式糊你一脸，补充内容跟不要钱似的往外倒。重点来了——他讲的那些花活儿，不考。所以你完全可以开摆不听，但听了的话，脑子里真能长出点东西。

课程内容：绝大部分内容都和考试毫无关系，上课像给你讲平行宇宙，考试死在另一个位面。 上课自由度：低，几乎每节课签到，并高频率点名，点得比你自己偷看手机的频率还勤。 考核标准：预习题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，附加题加上自己出的不明出处的题，逻辑乱得像我期末的心情还看不懂 中期退课了， # **快跑!**

课程内容：图论+数理逻辑+集合论 上课自由度：极其高，无签到也不来点名这等破事 考核标准：期末考试（40%，满分120分），图论考试（20%，满分60分），作业（40%） 授课质量：讲得就是坐入一辆四平八稳的大巴，不炫技，但也没坐出难受。教材还能打，看上去比较清楚。老师给的分数也很大方（虽然网课考全是清一色选择题捞都不带这么捞的，但平时分实打实给满），偶尔拉下发试卷给大家写几道past paper，各种材料也大方地留下来让复习。

课程内容：图论+数理逻辑+集合论，三件套套餐，吃完脑袋发麻 上课自由度：高，老师管你像管空气 考核标准：考试+作业，老三样 授课质量：不是很好，但这门课本身很容易，一个凑合厨子炒的菜，食材自己够硬

课程内容：集合论，图论，命题逻辑，谓词逻辑，逻辑界的四大护法挨个过一遍。 上课自由度：高，因为是中午一点的课，老师甚至为每个人准备了咖啡——这是什么，这是把困神的脑袋按进浓咖里。 考核标准：两次随堂测+期末考试+平时作业。 授课质量：高，极高，殷宝yyds!

老师人是真的好，教课那股认真劲儿是真的，啥问题一问就有反馈，跟客服有得PK了。 缺点嘛，嘴上不快，讲课属于顺牙不顺口的那氛围，不过相信以后肯定越来越嫩。 给分方面，我十一次作业，半数是学期末尾压哨补交的，最后平时分还是直接拉满（本门没有签到）。

课程内容：数理逻辑，集合论，图论。 上课自由度：高 考核标准：考试分两块，一块图论，一块数理逻辑和集合论。图论一贯是自己出卷，全选择，难度不高，跟平时预习作业差不多，翻翻往年选择题基本能火速收工。我们这届因为疫情，数理逻辑与集合论那部分也变成选择题了，难度大幅缩水，仅供参考。 授课质量：看得出老师很有水平，开头会拿莫绍揆先生的书来讲。但老师自己也吐槽考的不讲、讲的不考，最后为了考试又得回头刷课本赶进度。尤其图论几乎没时间细讲，全靠自己啃书和数据结构撑着（虽然确实不难）。

1. 课程内容： 平台统一内容，主打一个“你学你的，平台教平台的” - 图论：离散结构的关系模型（1-4周，含图论随堂测验）——开局就送你一张图，图里全是关系，关系里全是“这也能考？” - 数理逻辑 ：推理、形式化方法（5-11周）——从“因为所以”升级到“因为所以但符号化且你未必看得懂” - 集合论：离散结构的表示、描述工具（12-16周）——把东西装进集合里，再把你的脑子从集合里拿出来 - 一般最后一节含半节复习课——半节复习，半节“剩下的靠你自己悟” 2. 上课自由度： 要求考勤，每节课ppt中会有一道题让扫码打卡填答案。课前自然不会给ppt——想预习？不存在的，PPT和你的缘分只在课堂上那一眼。 3. 考核标准： 考勤5+预习作业15+课后作业20+图论考试20+期末考试40 - 宗旨：究极严苛，算到小数点后取整。比如考了16次勤，那每次就是0.3125分，算得比会计还要细——会计看了都觉得自己粗放，0.3125分，精确到能拿去当加密密钥。 - 预习作业一般是15道canvas上的选择题，不难，不过做完出结果的时候建议截图保留以便日后复习，可能会有随机的一两次不放开查看题目。当初说错两道以内（即≥13）都按满分算，最后按的是≥10就算满分——规则像薛定谔的猫，不到最后你都不知道满分线缩水到哪。 - 课后作业按正确率给分，图论部分没有答案，大家自求多福，最后依旧按照上面说的严格折算。（说白了就是不捞，以上平时成绩部分出任何差错（即便不可抗力）都会反应到最终分数上）——不可抗力来了也得先交作业，天灾可以，扣分不行。 - 线下图论考试由各班老师自己出题，王老师的题目比某位马姓老师的要和善，该部分内容不多，仔细复习外做做传承上的题问题不大——比某位马姓老师的要和善，属于矮子里拔将军还是真菩萨，考完自有分晓。 - 线上期末考试，，，——这三个逗号，留白比考点还多，懂得都懂。 4. 授课质量： 很高，在有逻辑地讲课，讲得也比较清晰，数理逻辑和集合论部分（即期末考试部分）会讲一些题目，思路清晰——难得在离散的宇宙里碰到讲课不离散的老师，讲题思路清晰到你甚至怀疑是不是同一门课。

课程内容： 前几周上图论，然后会有一个测试，这部分就结束了。然后就开始上集合和逻辑，期末也只考集合和逻辑。 上课自由度： 一般，每次课有个扫码做题用于签到。其他时候不管，你坐那儿当吉祥物也行。 考核标准： 平时40，测试20，期末40。 授课质量： 挺好的，其实自己看书也行，因为是早八，很容易打瞌睡，头点得跟捣蒜一样

课程内容：图论+逻辑+集合论 上课自由度：高 考核标准：图论学完抬手就考，占20%；平时40%；期末考逻辑和集合论，占40% 授课质量：一般，自己抱着书啃反而更利索

课程内容：图论+数理逻辑（命题逻辑、谓词逻辑、集合论）。 上课自由度：高，自由的空气。 考核标准：平时作业40（canvas上预习选择题+课后作业）+图论期中20+数理逻辑期末40。 授课质量：老师很年轻，应该刚教本科课程不久，和同学沟通很多，一直在改善授课方式，每节课有复习，速度不快，作业量适中，给分正常，助教也很负责，新手老师已进入迭代更新模式。

课程内容：图论+数理逻辑，左右护法凑一桌 上课自由度：一般，会点名回答问题，属于是点名界的不定期抽查 考核标准：平时作业+考勤+图论考试+期末，四件套管饱 授课质量：还可以，不好不坏，卡在中间那个舒适区

课程内容： 图论+数理逻辑与集合论，两本清华的教材，课本往那一墙，自己看去。 —————————————— 上课自由度： 挺高的，老师不大管你在下面干什么，有次我在下面复习数电也没问题hhh，但每节课都有扫码填问卷形式的考勤，题目简单，而且她马上会公布答案，问卷截止时间是下课时间，所以题不会的话你也来得及填问卷。考勤的松弛感有点像上课点名但你说“我在”，只不过用的是问卷：题不会也能在下课哨声前蒙完。 —————————————— 考核标准： 考勤5+预习作业15+课后作业20+图论考试20+期末考试40 —————————————— 其中图论是4-5周就上完了，大概在国庆后考试，难度不算大，把知识过一遍，然后做做传承上面的题就行了。 期末考数理逻辑与集合论，3、6、7、8、12章不学，11章函数部分要学。期末考试这学期是120个选择题，120分钟，真的太难了wwwww······最后成绩直接除以3作为期末成绩，好在占比不大，要不然我就寄了。120题/120分钟，这压制力约等于让你在跑步机上打麻将还被催快。 预习作业是canvas的小测，每次15个选择题，13个正确就行了，因为题目可能有问题，最后计算分数的时候会留2分的余量。题目属于是翻翻书+ppt就能做的，把容错刻进章程里，属于是自动售货机找你零钱。 —————————————— 授课质量： 老师ppt做得很好，讲得也挺好的，认真听完全没问题。但是老师讲课的声音语气，再加上早八的buff，很容易让我犯困走神。这是教学版的“安眠神器”。而且疫情期间网课她不会录屏，会提供之前年份的上课视频，那个观看效果不太好，早八走神的可以自己录屏之后再听课。她有时候上网课可能网不好导致声音小，卡，不过线下课就没事了。 还有一点，她每次课的ppt内容多，是上不完的，下一次的ppt又会提供复习内容，上课的效果很好，多出的ppt内容往往是用作预习的，但是ppt只在下课后才发，做笔记不太方便。知识像瀑布一样整节课倾泻，接不完根本接不完，等下课才拿到ppt——那就等于渴了半天后拿到的还是已经沾了手抄味的课本。

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

课程内容：清华那两本紫皮书的局部片场，不是全本，别自己加戏。 上课自由度：高，不点名，自由到你可以把自己当空气，老师也当你是空气。 考核标准：本学期是期末40%，期中20%（期中考图论，期末不考图论），canvas题目20%，平时作业20%，而且这次平时作业好像不怎么看对错，canvas上也给满了（再次给马老师及助教磕一个）。但注意，这个“好像”就是薛定谔的给分法，门没开之前别急着开香槟。 授课质量：挺好的，老师人挺风趣，讲得也清楚，ppt开学直接全发到课程网站，属于是开局把装备箱全给你。每一部分（图论、逻辑、集合论）讲完之后会有对应的习题课（课堂上），助教提前几天把要讲的题放课程网站上，都是往年试题和一些作业题。离散数学这玩意儿概念一堆堆得像双十一快递，但真正考思维的基乎没有，所以概念记清楚、证明套路混熟，基本就能原地通关。看之前的评论好像会按作业对错扣分，不过反正这次没有。