很有意思的一门课，个人感觉相比于之前的数理逻辑要简单很多。

通过这门课 可以学到 命题逻辑 一阶谓词逻辑 霍尔逻辑等等一系列东西，老师上课一定要认真听，内容不难，很容易理解。

但是一定要注意老师的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，有点小遗憾

不属于导论课，不过毕竟都加了导论两个字，总体课程难度确实不难。

进智科学的，之前没有上过除英语外的全英授课，陶老师讲得很清楚易懂，用的单词也比较基础，非常亲民）难的部分也会中文再解释

在考点部分会专门讲解例题来辅助理解消化，下课问问题也很耐心温柔

这门课考试题型就是作业题型。作业比较套路化模板化，稍微看看课件熟悉一下就知道怎么做了，上手难度不大

总评A+，课说实话轻松也比较有意思