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

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

一学期没去上过课

只要不点名，我就给10分

纯主观打分😋

以下是课程感受：

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

考试题型比较固定还开卷

很容易就糊弄过去了

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

贺阳助教人也好

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

再聊聊考试分数：

均分65.7

基本上70+ 就优秀了

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

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

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

我先摆明自己观点

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

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

当乞丐还嫌施舍的少了😅

事情见图：

资瓷助教😋

🥺🥺我的天哪数理逻辑大人🥺🥺

啊？期末考试感觉一坨，结果给分这么高？！

伟大，无需多言！

第二周换到xy老师班，一学期总共来过两次，第一次和最后一次，当然，来了也没听过，等于没来过👈😀

作业大部分自己写的，八次作业，大概一次1个半小时（除了某一次直接证明的作业，感谢我的舍友），把ppt和课本对应部分过一遍，然后借鉴一下课本后面的答案

考前把课本过了一遍，ppt没怎么看，作业题看了一遍。

考试空了一道半？记不清了，半道直接推理。

给分远比想象的好🤗

考完半个月了，出个分这么难啊

出分后：

不点名，几乎没去几次

作业一学期有八九次左右，前面的难度都不是很大，gpt可以很好的完成

最后复习的一般，只会点简单的题，最后捞到61，感恩

教学方法：8/10

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

课堂内容：9/10

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

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

作业多少：9/10

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

收获如何：8/10

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

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

总体评价：9/10

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

以下内容不计入评课

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

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

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

数理逻辑.rar

助教不理人太难绷了，在群里问问题，几个助教没一个人回复….

老师讲课还不错，就是太啰嗦太慢了，导致我很多时候也没听（看样子班上同学基本都是这样的）

给分是真好，考前几天看看老师ppt做做卷子就差不多了，没出卷面分，个人觉得考试题不算太难，喜提4.3

老师讲得真的不错，ppt也很细致，可惜就是一门学不明白的烧脑的数学课（颇有高中化学有机合成大题的崩溃感

3.3。推荐指数：强烈推荐。

打印.pdf

因为是辅修计算机，所以只是奔着及格去的，在此附上自己的开卷材料，包括1、常见的推理规则、永真式等（来自PPT）2、思考题讲解（来自某大佬的复习笔记第4部分和思考题补充）3、课程题纲（来源比较杂，包括一般的定理、定义等）4、直接证明的材料（大概有六个公式）。如果是跟我一样辅修的同学以及对成绩没有要求的同学，打印这个我觉得差不太多了。

PS：我自己的复习策略是结合课本与PPT学完课程内容，然后刷完能找到所有真题，最后顺着题纲过一遍就可以带着开卷材料去考试了。

这学期的期末刚刚考完，还没有出分，个人感觉比往年的试题还是要难一些，并且今年也只有六个题，没有简答题了，谓词演算也变成了两个。

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

更新一下，不知道考了多少分就出总评了，感觉期末试卷出的不好。开卷考试没什么复习压力，就搭配着形式化方法导引一起选着玩儿了。

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

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

助教很好！

老师很奶！

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