离散数学 · 修读回执档案

课程内容：正常的内容，交作业式的正常。 上课自由度：高，签完到抬腿就走无人在意，课上你听不听也没人管。 考核标准：这学期是图论测试+数理逻辑测试+期末考试，图论和数理逻辑都简单得像送分宝宝（当年因为这个多测一次数理逻辑碎碎念了很久，但最后发现真给期末省下一大把功夫，老师这波还是走心了，而且数理逻辑小测手下应该挺松的）期末考试那真是大捞特捞，30分的证明题我几乎全靠胡写，选择题20分钟速通十五道，计算题改了又改，考完跟同学一对甚至发现错了一道，这都能被捞起来，太牛了😭 授课质量：正常，趋向于念ppt，图论还有点解释，数理逻辑和集合论感觉完全能自学。。不懂的瞄一眼他的课堂证明过程就行 登分后追评：哇哇哇老师好到发光，当时canvas里看总评是93，结果最后登分变成95了，这也能捞😭我的大恩人，这才是标准答案级别的好老师

课程内容：数理逻辑与集合论，图论前四章 上课自由度：还行，有时签到，据说全勤能加分 考核标准：图论20%，期末40%，canvas预习作业11%，作业26%，课堂3% 授课质量：有点低，上课绕来绕去像故意走迷宫，认真听讲的兴趣被一点点磨没；也比较爱找互动，时不时让人当场证明，说实话对离散数学初学者传功相当不顺手 # 另外，作业多到想哭 #### 课后基本照收书后习题大部分，外加一堆比较难的证明，好多是著名定理，吃时间像无底洞；课前预习作业设计得也别扭，是canvas上的选择题，虽简单但要做得先把书上或ppt一整章过一遍。效率和时间占用心不心疼先放一边，既然下一章教材都看完了，在课堂内容和ppt与教材严重撞脸的前提下，这么般配的安排真的合理吗？

课程内容： 图论和集合轮，轮到你的时候就懂了。 上课自由度： 凑合吧，签到像快递柜取件一样密集，但老师说不会扣分，主打一个签到白签。 考核标准： 期末+平时作业+图论考试，三件套齐活儿。 授课质量： 低，而且作业真的太多了，一堆没答案的图论证明，怎么写啊——这哪是证明，这是在荒野求生，给你一块石头让你凿出一栋楼。

作业量不知为何极大 远超同时期其他主课的量 且PPT做的不大清晰 老师人还不错 就是在严谨性和作业量上很为难同学，像给了一本天书还让你抄十遍。 补充：图论作业真的难绷 不给答案你出这么难而多到底有什么意义，意义就是让我怀疑人生吗？

课程内容： 教材内容+其他参考书 上课自由度： 高，翅膀保管够 考核标准： 平时作业+出勤，图论部分考试，期末考试 授课质量： 中规中矩。作业和山一样多催命一样紧，平时分动辄就掉血

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

课程内容：数理逻辑+集合论+图论，老师会扩展很多我听不懂的内容，就是正餐吃着还行，非往碗里炫一堆课外自助。 上课自由度：高，中间签了一次到（因为教务处要求），到后面都没几个人来上课了，教室空旷得像毕业照散场之后的操场。 考核标准：20%预习作业20%课后习题60%期末考试（预习作业的正确率跟平时分无关）（但我都写了还是被扣了2分平时分www，但cyq老师期末也捞了我，所以也不太care这一点了，这就是把你踹下水又把你捞上来的一种教学格局） 授课质量：挺好，认真听应该很有收获，当然平时不听考试前突击也能拿到不错的分数，属于是薛定谔的听课。

上课自由度：比较高，只有一次教务逼着签了一次到，跟被抓壮丁似的 考核标准：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星吧还是。

课程内容：数理逻辑＋集合论＋图论 上课自由度：很高，只是某次被教务处警告的时候签了一回到，平时既不签到也不管你在底下干什么。 考核标准：平时40＋期末60。平时主要是CANVAS上的课前预习作业和课后作业，全都交了就是满分。 授课质量：很高，老师专业素养没得挑，还会往外狂扩内容，认真听能捞到很多。老师人很好，很亲切。 而且给分神中神，期末考有一道大题我理解错题意，基本一个字没写出来，胡写乱凑了点东西上去，最后老师还相当宽容给了个不错的分。跪谢！！

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

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

平时成绩会稍微上挑眉头一点，照着平时作业正确率加签到一起算（不过最终还是会伸手捞一把的），扣的也不多，问题不大。签到这事儿是上课期间扫个码做问卷，答案对错自由飞翔，签上皮就完事，线上签那也是行的。老师也不怎么较真，看到教室里稀稀拉拉就嘀咕一句，但也没到要掀桌子的程度。这门课那些又难又深的东西压根不打算跟你死磕，有的也就是过个嘴，作业考试都不爱沾边。图论那场考试大约第六周登台，考完期末就不伺候了。期末算比较客气的，考的都是老底子基础款。课前测试这规则说的是13分以上就直接按满分算，最后一节课会浅浅带你复习，顺手点几道题。不过由于讲的东西量不大，整体节奏是一路散步型的，有的同学可能觉得腿痒跟不住，其实自己啃啃PPT也是条路子。王林老师的PPT真不赖，重点高高挂起，该盖的知识点基本没有漏网（课本里一大半根本不用看）。总而言之不为难学生，这门课也不硬，稍微喂点心思就能端出不错的结果。

课程内容：图论 + 数理逻辑 + 集合论，离散三件套 上课自由度：极高，不签到，完全不管你是在听课还是在给大脑煲汤，后期早八课上活人只剩十来个，教室空旷得能打羽毛球。 考核标准：40%平时 + 20%期中 + 40%期末 授课质量：较高。课程本身难度不大，老师讲得也挺好。而且老师认定计算机同学应该多学点，所以课上还会顺手塞一些额外的东西，属于加量不加价。 老师上课补充了很多内容，认真从了的话真能学到不少。要像我一样全程摆烂也毫无波澜，反正亏不到别人。 给分也挺好，平时那40分应该就是预习作业和课后作业做了就行（虽然我预习作业错得那叫一个精彩）。期中清一色选择题，考得不难，主要是把定义和基本性质焊死在脑里。期末考试难度同样不大，稳。

课程内容： 上课自由度： 高，点名？没这节目 考核标准： 图论20 平时40 期末40 授课质量： 讲得嘛就那么回事，全程对着书念、对着ppt念，给分倒是挺够意思，平时分能占40属实是良心配置

老师相当nice，可能我这人自带不挑食不挑老师的光环哈哈。感觉上课跟着老师走，课下把作业写了就够用了，不用额外打补丁。给分也不错哦，属于闭眼跟着走就能安全着陆那种。

课程内容：图论，逻辑，两大门派各占半壁江山，一个画圈圈一个推符号。 上课自由度：高到离谱，偶尔签到，但人到了之后你爱干嘛干嘛，没人管你，我每次的固定节目就是缩在最后一排自己跟自己玩。 考核标准：40平时，20图论考试（10月），40期末（期末考逻辑）。考试走的都是基础款路线，给分也是中规中矩不惊喜不惊吓。但是——这位老师的平时分是拿着放大镜扣的，基本就是严格按照作业得分比例换算，一分一厘都要跟你算清楚。 授课质量：没听，不评价，问就是课堂与我无关。

课程内容：图论，数理逻辑和集合论。难度非常低，低到仿佛老师怕我们摔着，走个过场就完事，只介绍了一些概念性的内容，等于啥也没讲，听完有一种吃了一顿摆盘精美的空气的感觉。 上课自由度：高，但是每堂课需要答题签到（线上线下均可），生怕你物理上不来还给你留了条网线。 考核标准：40平时分（20作业（算正确率 ）+12课前预习（15道题对13道给满）+8分签到）+20图论（随堂考）+40数理逻辑和集合论（期末考），其中平时成绩给分比较严格，扣起分来毫不手软，建议每次作业对好答案再提交，别给自己人生增加惊悚环节。 授课质量：高，讲得非常清楚，但由于课程内容实在没啥东西所以效率不会很高，自己对着ppt看也能搞懂，整体就是老师带你在空荡荡的屋子里兜圈，但那是间很明亮的屋子。

课程内容： 图论+数理逻辑部分章节选讲。 上课自由度： 较高，时良仁老师基本不点名，图论考试前点过一次，确保大部队都在；后来代课的那次也点了图论考得特别好和考得差的人；李元龙老师压根不点名。 考核标准： 20%平时+40%期中+40%期末 这次因为期末简单，平时扣分比较多，建议大家还是按时交作业、做预习题。 授课质量： 时良仁老师上的依托。他是真爱他教过的那些上课没听最后挂科的学生，每节课都要匀10分钟讲一个没好好学离散数学、期末挂科、辅导员求情都没用的故事。 李元龙老师讲得还不错，上课吹水少很多。

课程内容：图论+数理逻辑+集合论——图论、数理逻辑、集合论，三门课挤成一锅粥。 上课自由度：高，不签到——签到？不存在的，自由得像周末的宿舍。 考核标准：图论期中随堂考20+平时分40+期末40，每章学完后canvas上会布置复习题（15道简单选择题），成绩会计入平时分，不过基本都是接近满分——图论期中随堂考20，平时分40，期末40。每章结束canvas上甩15道简单选择题当复习题，计入平时分，但大家基本都往满分上贴。 授课质量："这个考试时一定会考一道""会出一道××证明题"，极其应试向，讲课水平中规中矩，不过离散这门课真没什么好讲的，我是非电院选的这门课，没学数电,电路理论，同学期上的数据结构，仍然觉得学起来比较轻松，如果你是电院正常选课，这门课一半以上的内容你在上述三门课里已经学过了，真随便学学吧——老师金句频出：「这个考试时一定会考一道」「会出一道××证明题」，应试浓度拉满。讲课水平中规中矩，不过离散本身也没啥好讲的。本人非电院，没学数电、电路理论，同期在上数据结构，照样觉得轻松加愉快；电院正常选课的话，这门课一半以上内容你在那三门课里早嚼过了，随便学学就完事。