辅修人，因为神秘原因选了这门课，选之前甚至没学过数理逻辑基础上课方面，这门课是接着数理逻辑基础直接从第三章讲的，因此没学过数理逻辑基础会如同听天书，必须要把前两章自学一下。虽然大四非常闲，但是仍然完全没跟上上课的节奏，因此全为自学。不得不说教材的自学体验是非常好的，老师的讲课以及ppt和自己看书区别 >>更多

课程内容十分简单，作业也很少。平常来上课的人还是很少，来了基本也在自学（）感觉有些对不起老师…考试非常早，也还算简单这门课程在压力爆大的大三上算是非常抚慰人心的了（） >>更多

昨晚梦见刘老师开了一门新的选修课，我选了。去上课，发现教室里只有五个人，剩下的人都翘了，这个梦是很符合刘老师人设的。数理逻辑进阶课上到最后，只有三分之一的人到课，百人大教室只坐了十四五个人，还大多分布在后排。 上课：从不点名。选课的大部分都不来，来的大部分都不听。老师试图与我们互动，问“对不对啊”“ >>更多

课堂：上课完全不点名，导致后来来的人越来越少。刘老师给人一种很佛系的感觉。讲课主要是照PPT简单解释公式怎么推导之类的，PPT是书的翻版，基本上是复制粘贴上去的。作业：本人上课没怎么听，主要是靠作业和看书自学。作业大部分题书后都有提示和简易推导，老师每周只留几道题。作业一般是两周一交，相较于大部分科 >>更多

考试前一天开始预习哥德尔定理，考试前一个小时开始看到哥德尔第二定理，今年哥德尔定理大概占了一半的分，但是很简单，记住一些概念就好，由于是开卷但是只准带书，题很简单，基本都是书上的作业原题，建议偷偷在作业旁边写个解答，这样你大概可以提前一个小时出考场。 >>更多

求一个26秋课程群，谢谢 >>更多

上课内容是数理逻辑课本的后两章，主要是哥德尔定理，毕导出过科普视频，感兴趣可以看一下。上课体验和数理逻辑基础差不多，讲的比较慢。这学期刘老师还在人工智能伦理与技术讲了三次讲座，最后一节课拿了人工智能伦理与技术的课件讲了一些伦理相关的内容。去年的模态命题今年没讲。期间有一次请企业的人介绍了一个程序验证 >>更多

总体评价：这门课第一年开，是个水课，接着数理逻辑基础的内容继续上，难度不大，适合混学分，给分也还可以，推荐。 老师脾气很好，上课基本上复述ppt，感觉听课的人没多少，上课也不会点名。除了课本的内容会补充一章关于模态命题的知识，这一块没有ppt没有讲义没有作业，但是考试会考，上课记得做好笔记。 作业布 >>更多