中国科大 woc害惨了我 >>更多

刚考完，趁着热乎劲来说点考试相关的。今年的考试应该算是比较简单的(但是我比较菜，可能考的不是很好)，7道判断题没有涉及到那些课本没有的但是cxp老师ppt有的内容，也没有简答题(白问chatgpt了，命题演算里的直接证明在课本习题中是间接证明，可以进行一个魔改(虽然我还是花了挺久才改出来，谓词演算出 >>更多

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

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

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

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

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

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

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

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