胡畔 · 数理逻辑修读档案

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

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

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

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

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

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

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

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