刘老师讲课完全按课本讲，中规中矩，不点名，作业少且有答案。考试开卷，必考隔壁班思考题（有答案）和 哥德尔定律（抄书）。给分不错，会调分。水课，推荐给喜欢自学的学生，甚至可以不去上课，只要写作业就行。 >>更多

这学期才发现有Coq这种形式化证明语言，感觉或许可以在上这门课的时候尝试用Coq进行一些证明。可以通过《软件基础》这本书来学习Coqhttps://softwarefoundations.cis.upenn.edu/ >>更多

中规中矩的传统课堂教学，老师没什么骚操作，只是最后一节课让我们讨论讨论上这门课的感受2333. 作业非常少，以至于我都快忽略这门课了。 最后考试一定要细心一些。读题读仔细了。 >>更多

这门课从前往后学起来有种搭积木搭出一个世界的感觉，完全靠符号与逻辑构建出一个理论世界，感觉学完之后就能掌控雷电了。 最后那个哥德尔定理当初我好像理解了一点点，觉得构建方式真是精妙无比，不过现在已经全忘光了(滑稽)。 虽然没有像大佬那样拿到4.0，4.3，不过至少上了优秀，我也比较满足了。 建议读读G >>更多

既有意思又有用的一门课，陈老师大牛呀。期末的=讨论课很重要，考试可能会有原题。上课好好听，期末感觉考发散性思维。最后85，但收获不止85 >>更多

陈老师的这门课很好（先说结论）虽然我一道思考题也没做过，甚至最后的讨论课都没去，但是似乎没什么影响？平时最好多听课，虽然节奏比较慢，但是讲的比较清晰，如果跟着听得话是可以听懂的，自己看书可能有点难，但建议在考试前把学长的笔记，课本，上课笔记都看一遍，主要掌握语法推理，语义推理的步骤和套路，至于哥德尔 >>更多

首先上课很难，而且讲课和课本基本是两个节奏，各种版本的笔记有一些年代比较久远，但是基本内容都没有变，也可看出这门课好多年都是这样了，上课专注于各种定理的证明，特别令人绝望。而且这门课本来是属于离散数学，可是基本上没有体现出和计算机的关系，完全是当成数学课在讲。课本又是一向的科大风格，薄薄一本，定义定 >>更多

必须承认数理逻辑还是偏难的。陈老师讲的很明白，经常讲段子讲故事，而且是将课上的知识，机器人的研究，扯淡，名人故事，科学道理等等话题之间自由转化毫无痕迹。课上讲的很难但考试简单啊。开卷考试判断题会考一些对概念的理解。大题除了最后一道剩下基本都是抄笔记抄作业抄思考题答案可以解决...听助教说大家考的都不 >>更多

课程还是很有意思的，对逻辑和哥德尔不完备性定理感兴趣的同学推荐学学。这门课偏理解和思考，考前突击要慎重。上课最好多举手发言，最后的研讨课一定要上去发言，有加分的。作业注意抄袭和雷同，一定要认真检查。感觉考试题目不难但坑，坑，坑。最后成绩86。 >>更多

好难好难，完全不会= = >>更多