数理逻辑 · 修读回执档案

课程内容：集合论打底、算法逻辑、命题逻辑、一阶逻辑全套上桌，逻辑树构建被老师亲自盖章说是这门课的特色招牌，像火锅店老板指着毛肚说这是我家灵魂，行吧确实有点东西 上课自由度：挺高，上课或许会点人但既不点名也不签到，小测会提前通知，相当于考试前给你发预告片，只要人到了小测就白给满分，这波是到场即赢 考核标准：60%平时40%期末，小测作业具体怎么分我忘了，但去了小测就满，这不叫考核这叫签到发钱 授课质量：比较高，汪老师讲得清清楚楚，确实像之前同学说的节奏偏慢，但慢是给基础不好的同学留足时间学会，老师是真想把你教会，不是念PPT跑路那种 ------- 给分很不错的一门课，每次作业都有讲解，考试前老师还整理了复习资料，用心程度堪比亲妈收拾行李，算是这学期体验最好的一门课

课程内容：离散数学进阶+数据库理解（跟隔壁数据挖掘拼单吃更香。。~~~ 老师本人就是搞数据库的，一看就是对自己专业有恃无恐的那种自信，反复强调大家发文章一定要做证明）。但鼠鼠我个人是真的提不起劲hhh。 上课自由度：高，前半学期签了两次，后半学期直接人间蒸发没怎么去现场，结果也没人管。说是说有签到，其实是纸老虎吓唬吓唬人的。 考核标准：4次作业+期末。大三上还带期末考核的选修课已经不多见了，擅长考试的童鞋冲吧，反正比隔壁操作系统简单一点。期末全开卷，勉强填满了。 授课质量：高，虽然我经常睡着。垃圾中午大课。

20% 平时分（白给都没这么白给）30% 书面作业（慷慨到像散财）50% 期末考试（不可思议到想给它预约一个热搜看情况） 授课内容：命题逻辑，一阶逻辑，描述逻辑 老师非常和善助教非常友好，平时作业略有难度但不会在给分上为难大家，能感觉到期末试卷出的非常用心，用心到像给别人家孩子量身定做衣服做完还记得给你量体温。 为了防上传分数改不了先把拟分丢群里让人核查的好老师哪里找啊，这操作该刻碑😭

课程内容：老师直接把牛津念博士那套课程ppt端过来，FOL, Datalog, Description Logic, 非单调逻辑等内容一锅端 上课自由度：高，教室人不多但也没人管你，偶尔有小测，会挑一两个答对的同学发奖品 考核标准：0.4考试（简答题为主）+0.4作业（一共5次每次6道题，最后两次作业是一起布置的）+0.2课堂参与 授课质量：还行，虽说中文授课，但老师可能国外待久了，上课基本全程英文术语。其实很多术语都有像样的中文翻译，我寻思既然都中文授课了，不妨把对应中文也给出来。（中英混杂听着还是稍微有点吃力） 确实有一定难度，不过大一经历过曹钦翔离散数学的洗礼之后，我觉得这门课友好多了，至少最后一节课还会讲评一下作业…… 另外老师讲到重要概念时，习惯把一句话重复念几遍（有利有弊吧，好处是没听懂的不用慌，因为他会帮你循环播放:D --- **不是，这最后一次作业是人做的啊，这正则化和完整的model全部写完手都要废了X(** 扣一分！ --- 考试体验还不错，老师和助教也很好，改回4星吧

课程内容：离散数学minus，简直就是离散数学扒了层皮。集合论基础+命题逻辑+一阶逻辑。 介绍命题逻辑和一阶逻辑的语法、语义、推理、完备性和可靠性定理。 课上会用比较严谨的推导一步步证明每个重要命题，绝对不会动不动就‘显然易得’ :D 像极了不糊弄你的数学老实人。 如果大一上过cqx的离散数学，应该对这些概念都很熟悉，没有太大的理解难度。 上课自由度：高，上课完全不管你，基本等于教室里放了块讲台直播。 基本上只有几个人从头到尾在听课，出勤率跟自习室占座率似的。 考核标准：5次作业+5次quiz+1次special quiz（用coq证明一些命题，算额外的分数）+期末考 作业50%+quiz 10%+期末40% 作业和期末都挺简单。基本上只要掌握课上强调的重要概念就能拿很高的分数。 授课质量：质量蛮高。老师讲的特别细致，会举很多例子解释比较重要的概念，因此课程容量偏少，主打一个浓缩。ppt的结构性和逻辑性特别好。是比较理想的模式了。 总的来说只要能搞懂概念，对逻辑有一点兴趣，这门课是很推荐的，就像遇到了一个不把你当傻子的老师。

课程内容： 上课自由度： 高，偶尔来个随堂小测还顺手塞小礼品，属于是测验考点还倒贴你伴手礼的慈善局。 考核标准： 期末加四次作业加小测出勤，套餐很简单，不加料。 授课质量：不卡绩，比sw强；先发拟成绩问同学们对总评有没有意见，比sw强；平时分不乱动刀，比sw强；上课讲得好，比sw强——这不是一个人在战斗，这是连发四枪的“比sw强”回旋镖。

课程内容：命题逻辑，霍恩逻辑，datalog，描述逻辑相关的语法和算法 上课自由度：高 考核标准： 授课质量： 学破防了先来原地吐槽一下。 这门课是人能学的吗怎么这么难啊。。。证明多到像倾盆大雨。。。 而且完全不知道该往哪儿备考，应试资料少得体无完肤 老师还挺亲切的，会送鹰角网络周边，还会给你唠小故事； 助教哥哥也很负责，每道题都把你错在哪给你画出来。 就这两点还是值得给好评的。 但我就是真的听不懂，难怪每次老师在台上都曲高和寡了（真的跟不上节奏吧，这么多定义还全是英文，稍微一个点掉线后面宛如断崖），这个Tableau算法怎么就这么难啊😭 --- 冲着老师和助教这态度再加一分，吃过这么多史之后难得蹭上一口好饭

课程内容：把语义与语法（Semantic and Syntactic）以及它们之间的关系讲清楚了。就这块而言，可能曹老师上的我早忘光了，感觉比曹老师清爽得多，曹老师讲这段的几节课简直nightmare本mare。但坏消息是内容跟离散数学（cqx班）大面积重合，只有后半学期有点更深入的东西撑场面。 上课自由度：高，课内小测还会提前打招呼。 考核标准：给分友好。 授课质量：节奏确实有点慢，本可以塞更多干货，尤其我们专业被曹老师毒打过的，很多内容明明可以开倍速过。但好在绝对清楚，毕竟这门学科自带清晰严谨的出厂设置。

课程内容：离散数学plus版本，但认真听还是能学会的，相当于把离散数学喂了增高剂，拉长版。 上课自由度：很高，要小测会课前提前通知，非常人性化；最少一次50人班腾讯会议里20个人，老师就说了句“昨晚都熬夜看球去了？”就完事了，这是什么？这是典中典的佛系执法。 考核标准：平时作业50%，认认真真写低不到哪里去；小测10%属于去了听了就是白送的那种；期末考40%，还行。 期末考完了，来补一下，期末确实和他说的一样比作业简单，但是他在简单题里挖坑。。。没发现的话挺乐呵的因为确实不难，考完乐极生悲噢，堪比走平路被隐形台阶绊倒。 授课质量：挺高的，老师讲得可能不是那么有趣但很清楚详实，像高质量的学术纪录片，不刺激但知识浓度爆表。

课程内容： FOL,Description Logic，大概是想让大家把知识库构建和查询这套本领揣兜里带走。 上课自由度： 高，偶尔散落小测，掉落朝陇山小礼品。 考核标准： 20%平时 30%作业 50%期末，开卷 授课质量： 高，时不时蹦一堆英文表述，建议slide和ai两翼齐飞对着啃。 和cv完全是两个次元的体验。谢谢老师！ 给后来人的一些建议：复习多看slide和回放，把作业吃透搞清楚，别慌，内容确实比较基本。

课程内容：一点点集合论&一点点可计算性理论，然后开始讲命题逻辑和谓词逻辑，用的是很严谨的数学风格（和离散数学不同），严谨到每个符号都自带肃杀气场 上课自由度：有几次quiz但是老师会提前说，不过不听讲做作业会很需要数学功底，课堂上躺平时作业会让你起飞撞墙 考核标准：10%quiz+40%作业+50%期末，期末考得挺全的，不复习的话吃平时作业的功底，吃老本的现场教学 讲课质量：讲得很清晰，板书也不错，数学课正统作风 其它：作业找不到资料，遇到不会做的题硬着头皮想会很痛苦，做题做到面壁，痛苦面具直接戴死。

**[浇水]** 大学三年，摸鱼三年，绩点还在地上趴着！ **[浇水]** 全世界都在给你写墓志铭：废了，寄了，号可以重开了， **[浇水]** 只有wyt在屏幕另一端拎着绩点输液袋认真给你抢救！跟上汪哥的节奏！**[狰狞]** --- 推荐对逻辑有点火苗的学生选，实测作业和考试的凶狠程度都卷不过离散数学。但个人觉得这课挖的坑深不深，要当中级离散数学的接班人可能差口气，大佬说不定觉得嘴巴没吃饱。

老师助教那态度简直好到发光，期末周助教还专门挤时间给我改作业、答我的题，成绩先别管，好评先递上。

助教小哥和老师那都是人美心善的代表 虽然最后还是逃不过熬夜复习这一劫