没出分，不知道给分，但是先给助教打10分，大赞贺阳槐安助教。

复习的那几天，助教一回答群里问题就是一整天（而且不仅回答本班的，还回答隔壁班的），习题课也准备的相当用心，真的是在讲自己的理解，尤其是最ex的直接证明题，没有助教的习题课连答案都看不懂。而且考试的直接证明，基本就是习题课助教讲的

一学期没去上过课

只要不点名，我就给10分

纯主观打分😋

以下是课程感受：

期末考前学两天刷刷往年题

考试题型比较固定还开卷

很容易就糊弄过去了

给分貌似也不错（貌似都奶了）

贺阳助教人也好

考前课程群里面几乎是在全天候回答同学们的问题，太赞啦！😆完全符合我对完美助教的幻想！

再聊聊考试分数：

均分65.7

基本上70+ 就优秀了

比隔壁班均分低了十分（）

再说说处分后一些不愉快的事情吧：

一些辅修✌觉得自己总评59没给过是故意的在群里开骂🤣👉🤡

我先摆明自己观点

自己考的什么分数能拿什么总评自己心里有点b数

分数是自己挣得不是别人施舍的

当乞丐还嫌施舍的少了😅

事情见图：

资瓷助教😋

教学方法：8/10

许老师讲课以ppt为主，辅以板书。ppt里的例题没有答案，对于复习来说不算很合适。个人听课不多，但觉得老师讲课比较慢，可能是这门课的内容本就比较少。另外，感觉老师讲课有点无聊。

课堂内容：9/10

老师讲课不是按照课本来讲的，是按照他自己的逻辑。在原本课本的内容基础上加入了一些补充内容，对教学顺序也进行了重排。(似乎隔壁班老师完全按课本来讲，这倒是截然不同)

不过不按照课本顺序讲也就带来一个新问题，ppt毕竟不是讲义，和课本还是有很大不同的，对于写作业和复习来说都不算很方便。

作业多少：9/10

一共是十次作业，每次大概三道题左右。不过因为有时候会有那种一题里面好几道小题的情况。另外，不同周的作业量相差有点大，有些周可能只要半小时不到就行，但有些周大概要好几个小时。

收获如何：8/10

因为平时没咋听，大部分收获还是来自于作业和最后考试前的复习。

其实数理逻辑或者说形式化对计算机的一些应用还是蛮重要的，但这门课本身来说内容不算太多，再加上课本对于那些应用没有太多的引入或介绍，所以感觉收获不算多。

总体评价：9/10

总的来说，老师还是蛮认真负责的。假如不想去听隔壁的读书，那也是一个不错的选择。

以下内容不计入评课

给分情况：似乎是按照考试加作业得到一个原始分之后调分。个人觉得调分力度挺大。不过作业分还是蛮重要的。

助教评价：这门课的三个助教分工清晰，两位负责改作业，一位负责答疑。负责答疑的助教非常负责，考前在群里高强度回答大家的问题，好评。

一些资料分享，包括往年卷等：

数理逻辑.rar

从选课人数就能看出这门课的含金量了，3C202的大教室座无虚席，虽然我还是觉得十几个人的小班课上课体验更好一些。

感觉老师的ppt直接比读书上手更容易,虽然期末还是要多看书,听说讲的比隔壁班好(?不保真),作业感觉也不多.

助教挺给力的,楼上已经讲的比较详尽了此处不赘述,满昏

助教很好！

老师很奶！

期末考试没有公布分布，只给了平均分。平均分是65分，我考了70分，最后总评85.老师太奶了！