数理逻辑导论
（陶伊达）CS1042025春 2024春2025春 2024春
- 课程难度
- 作业多少
- 给分好坏
- 收获大小
| 选课类别：专业任务 | 教学语言：英文 |
| 课程类别：专业基础课 | 开课单位：计算机科学与工程系 |
| 课程层次：本科 | 获得学分：2.0 |
评分评分10条点评
匿名用户 2025春- 难度：中等
- 作业：中等
- 给分：一般
- 收获：一般
这学期好像突然变难了，和之前的点评不太一样。之前期末是有cp这学期完全闭卷了，然后平时六次作业占比40％，助教对一些证明批改的也比较严，导致平时作业就直接给总评扣好几分。期末也不算难但迷惑性问题还是有一些的，导致总评不是很高。慎选..
- 难度：简单
- 作业：很少
- 给分：超好
- 收获：很多
课程内容
其中week6的内容作业难度大，学起来非常痛苦，但是，考试明确不考这个！（
后两周学的也没怎么考，其他部分需要认真才能学会。
老师评价
陶老师非常伟大。讲解很清楚。偶尔听不懂是我自己的问题（下午两点实在太困了叭
对英语可能会有一点要求。但是陶老师口语完全能听清楚，就是可能需要了解一下相关的词语，不然上课会措手不及。
分数构成
10% quiz（课后完成，应该可以交好多次）
40% assignment 共6次
50% final 满分104
还有1分的上课发言和期末考溢出的2分bonus
给分情况
感觉这学期确实给分低了一些，并不是之前学期“人均A+”，不过有bonus想要拿到好成绩还是不难的。
平时作业细节会比较抓，要注意一些，因为逻辑学本身就很严谨。
本人有一次作业的定理用错了，一处扣8分，3处相同的共扣了24，总评掉了接近2分。
最后96 有点可惜。
身边统计学的A+也比较少。
提醒！
想进图灵班/智能科学与技术必须选
名为“导论”但是归类是“专业选修课”而非“专业导论课”，也就是毕业前必须学别的2学分导论。
匿名用户 2024春- 难度：简单
- 作业：中等
- 给分：超好
- 收获：一般
不属于导论课，不过毕竟都加了导论两个字，总体课程难度确实不难。
进智科学的，之前没有上过除英语外的全英授课，陶老师讲得很清楚易懂，用的单词也比较基础，非常亲民）难的部分也会中文再解释
在考点部分会专门讲解例题来辅助理解消化，下课问问题也很耐心温柔
这门课考试题型就是作业题型。作业比较套路化模板化，稍微看看课件熟悉一下就知道怎么做了，上手难度不大
总评A+，课说实话轻松也比较有意思
- 难度：简单
- 作业：中等
- 给分：超好
- 收获：很多
笔者作为大一，不以CS专业为目标的学生选择了这门课程，给予这门课程非常高的评价。
| 评价维度 | 关键 |
|---|---|
| 课程内容 | 学习一些作为计算机专业需要的数理逻辑基础，这门课程基本不会涉及code，学习How to code（目的） |
| 教学方式 | 全英授课，辅以部分中文解释。上课主要用来推导证明。 对于某一个东西为什么学（需求）的解释还是比较清楚的。 |
| 教师能力 | 解释清晰，英文流利，对于证明的推导很详尽，有不少有趣的paradox. |
| 负荷 | 只有作业会耗时，在一些内容，写作业需要一些灵感（ 有时候deepseek都跑不出来）但耗时的部分不会考察。 |
| 考核方式 | 10% Performance 没有考勤，缺线上quiz扣1分，课上回答问题一次加0.1分。 40% Assignments 这是最难的部分了。 50% Final Exams 考察都考的是最基础的内容，难的不考。本人取得了溢出的的成绩。但是我知道有一些同学会觉得有一些难。考前可以背诵ND Rules |
| 课堂氛围 | 鼓励提问，也有Just in time的解答。必要时刻会使用双语，但不至于使得课程进度拖沓。 |
| 资源支持 | Slides使用beamer制作，内容合理，制作比较精良，然而slides上很多问题没有解答。如果旷课的话，要想办法补全，因为deepseek都不一定能帮到你。 老师补充了很多很多资料，包括相关课程内容的选段。然而，这些内容都是英文的，不太好阅读。我在bilibili上没有找到比较好的平替课程。 强烈建议修读这门课程的同学阅读很有可能是这门课程蓝图的课程——CS245, U of Waterloo， 直接在Bing上就可以搜到课程的script。外校的课程课时更长，有对于一些繁琐的证明的完整演示，也有一些补充习题，可以当作考前的练习。 |
| 学习收获 | 总的来说，收获很大。这门课程涉及到大量的推理和证明，与数学课程有相似之处。不过，我感觉这门课程有很大防御性证明和一些枚举证明，思路没那么通畅。如果有一位学习搭子就更好了。 |
| 公平性 | 无槽点 |
| 推荐指数 | 10 out of 10 虽然有一些不足，但受限于课时的限制（每周一次），已经很好了。 |
| 受众 | 选择进入智能科学与技术的同学（ prerequisite) 选择进入CS的同学，以及和我一样想了解数理逻辑相关内容的同学（推荐）
|
- 难度：中等
- 作业：中等
- 给分：一般
- 收获：很多
陶老师不用说，讲课水平一流，英语口语清楚，不签到。数理逻辑导论内容比较简单有趣，但是这学期作业和考试似乎评判标准收紧，导致给分较低，不推荐想水学分的选。
- 难度：简单
- 作业：中等
- 给分：超好
- 收获：很多
很有意思的一门课，个人感觉相比于之前的数理逻辑要简单很多。
通过这门课 可以学到 命题逻辑 一阶谓词逻辑 霍尔逻辑等等一系列东西，老师上课一定要认真听，内容不难，很容易理解。
但是一定要注意老师的PPT，有些小细节可能被漏过了，我在写ND Proof的时候没有画框框，被扣了好多分。整门课只有这个地方比较强调格式，一定要好好看看。
一共6个Assignment 基本上一个小时可以做一篇（除了那个证明系统的专题）作业都挺简单的，好好听课一定能轻松做出来。
Quiz有点像脑筋急转弯，挺有意思的。
考试很水，比作业还要简单，好好看看PPT问题不大
似乎人均A+呢
- 难度：中等
- 作业：中等
- 给分：超好
- 收获：一般
总体来说不难，作业两周一次，基本上自己看看ppt都能做出来。
期末考试很良心，大概只包括上课内容的一半左右（还是较为简单的一半）
说实话，上课讲的有些部分现在我也不是很明白，可能是我没认真听？但谁让它也不考呢（忏悔
给分很良心，没有考勤，quiz也只有学期初有几次,而且还可以多次提交
陶老师上课会补充一些所讲知识点在CS里的应用，这一点我觉得很不错
问了问同学，怎么感觉这门课人均A+呢
- 难度：简单
- 作业：中等
- 给分：超好
- 收获：一般
期末考试内容比较简单，上课从不赶进度（甚至感觉讲的有点慢），讲的很详细。有不会题目的建议仔细阅读提供的英文教材，说不定一些难题就是书上的例题，上网找反而很难找到答案。
- 难度：简单
- 作业：很少
- 给分：超好
- 收获：很多
首先，这门课虽然叫导论，但不是专业导论课，而是计系的专业课！！！
课程难度不算大，基本上认真听课或者课后照着PPT学就行。没有期中考，期末占50%，题目都是平时作业的题型。陶老师今年应该是第一次开这门课，上得很用心，课下也会耐心地解答问题。采用全英授课（班上有留学生），英文基本没有口音，重要的地方她会用中文复述一遍（所以听到老师讲中文就要格外认真听啦，都是重点）。
平时分是30分的作业和20分的考勤，作业给分不错的，错一个扣3-5分这样。一个学期共六次作业，量不算太大。
这门课主要介绍了PL和FOL两种逻辑语言，但所有的符号和证明过程请以PPT为准。不同参考书的符号可能不一样，助教看不懂会给你扣分，argue也没用。
总体来说，这门课的帮助还是很大的，不论你最终进不进计系，都可以锻炼逻辑思维能力。在大一下学了这门课，也可以给之后的离散数学打基础。
喜提大学第一个A+（98）
- 难度：简单
- 作业：中等
- 给分：超好
- 收获：很多
先说一下分数构成吧
Class participation/Quizzes: 20% Assignments: 30% Final: 50%
课程难度 相比以往学期同学们的评价，个人感觉陶老师的数理逻辑导论的难度不算大，上课只要认真听课，跟上老师的思路，课下好好完成作业，不用花太多课外时间，最后也会取得一个不错的成绩
作业多少 本学期一共有6次Assignment和3次Quiz。Assignment每次大概6道大题目，难度都不大，做作业前最好过一遍ppt，每次可能会有一两道题比较难，但相信你一定能解决。前两次Quiz是简单的逻辑题，类似脑经急转弯/小学奥数，第三次Quiz是写一个程序判断输入是否为well formed propositional formulas，不算太难
给分好坏 给分不必多说，该怎么样就是怎么样，认真完成作业即可
收获多少 收获还是挺大的，学习了Propositional Logic(命题逻辑)和First Order Logic(一阶谓词逻辑)，以及一点点Hoare Logic(霍尔逻辑)(没有考)
因为本学期没有期中考，且相比之前学期本学期不能带cheating paper，期末的比重又占到了50% 一定要好好复习
最后总评A，有点小遗憾
其他老师的「数理逻辑导论」课
- 2023春 2022秋...6.7(6)
陶伊达老师的其他课
- CS102A 2022春10.0(3)
- CS108 2024春10.0(3)
- CS109 2025秋 2024秋...9.0(7)
- CS209A 2025秋 2024秋...9.0(3)
- CS304 2025春 2024春...7.1(7)
- CS107 2024秋 2023秋...