汪宇霆 · 数理逻辑修读档案

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

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

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

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

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

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