考试的时候一般可以直接skip掉直接证明，因为就是证不出来。一定要记得打印老师的PPT的最后一个part，那里面有谓词推理的格式要求和示例，而这一部分书上是没有的，考试最后一题还必考这个推理，如果没打印就只能像当时考试坐在我旁边的同学一样面对最后一个题想半天一个字也写不出来，最后无奈像沙摩柯一样弃牌 >>更多

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

请问可以个性化吗？一直没有审核诶 >>更多

时隔一个学期才想起来追评真是烂完了，没见过这样的老师。首先这课本来就很乏味又不好懂，不搞这方向的大概率用不上数理逻辑。其次这老师上课完全不讲书上的东西，他说不太喜欢书上那套方法，讲了一学期的自然演绎体系，但是考试就是考书上那套。从始至终没有打算讲讲书上那套，复习只能看书或者借别的班的PPT。布置的作 >>更多

收获还是比较多的，扣分扣在老师约等于没有的教学水平上。1 这门课的授课内容与前置知识授课内容为《数理逻辑》课本的前两章（该课本共四章），内容包括命题逻辑和谓词逻辑。命题逻辑举例：A→B,B→C能否得到A→C？谓词逻辑举例：对任意x∈R，存在y∈R使得x>y，能否推出存在y∈R对任意x∈R使得x>y？ >>更多

我这学期几乎一节课没去（除了某次去交作业的时候听了半小时），全靠看书+写作业自学，最后拿了4。 >>更多

贺阳助教神中神！考前甚至还发了他os的复习资料 >>更多

6月19号出分了，很幸运的是拿了97/100。但是感觉这个分给的不太好，谓词演算演绎定理那里我自己写的不清不楚，只提到了一次Gen变元，但是没扣分，同学没写这个条件的貌似每个扣2分，感觉这个得一视同仁。。。考试考了七道选择，做的时候胆战心惊，但是最后还是错了第四题（不过大部分人都错了，班里好像最后只 >>更多

助教不理人太难绷了，在群里问问题，几个助教没一个人回复….老师讲课还不错，就是太啰嗦太慢了，导致我很多时候也没听（看样子班上同学基本都是这样的）给分是真好，考前几天看看老师ppt做做卷子就差不多了，没出卷面分，个人觉得考试题不算太难，喜提4.3 >>更多

老师讲得真的不错，ppt也很细致，可惜就是一门学不明白的烧脑的数学课（颇有高中化学有机合成大题的崩溃感3.3。推荐指数：强烈推荐。 >>更多