数理逻辑

历史匿名回执 · 2026/03/10

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

历史匿名回执 · 2026/01/17

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

历史匿名回执 · 2026/01/17

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

历史匿名回执 · 2026/01/17

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

历史匿名回执 · 2026/01/12

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