昨晚梦见刘老师开了一门新的选修课，我选了。去上课，发现教室里只有五个人，剩下的人都翘了，这个梦是很符合刘老师人设的。数理逻辑进阶课上到最后，只有三分之一的人到课，百人大教室只坐了十四五个人，还大多分布在后排。

上课：从不点名。选课的大部分都不来，来的大部分都不听。老师试图与我们互动，问“对不对啊”“是什么啊”，没有人理他，他只好继续讲下去。老师人比较佛系，但确实是个好老师，我觉得自己没好好听课，有些对不起他。

上课内容是课本后两章，中间还请了企业的人给我们讲讲应用，也讲了一些人工智能伦理的内容。只需掌握课本中的内容，课本外的内容都是了解即可。

作业：两周交一次作业，每次就四五道题的样子，在作业本上两面纸就写完了。

考试：全开卷，今年考的全是课本内的知识，据说往年还要考拓展的内容。考了判断题、简答题、哥德尔数的计算题、算法设计题、证明题。最后一道题甚至是作业原题，我直接带了作业本开抄。

助教：据说是没学过这门课，被老板强拉来打工的研究生学姐，一边自学一边带我们助教。不过她确实尽力了，也比较负责。

给分：没出分直接出总评。我数理逻辑基础没有优秀，但是这门课优秀了。

课程内容十分简单，作业也很少。

平常来上课的人还是很少，来了基本也在自学（）感觉有些对不起老师…

考试非常早，也还算简单

这门课程在压力爆大的大三上算是非常抚慰人心的了（）

课堂：

上课完全不点名，导致后来来的人越来越少。

刘老师给人一种很佛系的感觉。

讲课主要是照PPT简单解释公式怎么推导之类的，PPT是书的翻版，基本上是复制粘贴上去的。

作业：

本人上课没怎么听，主要是靠作业和看书自学。

作业大部分题书后都有提示和简易推导，老师每周只留几道题。

作业一般是两周一交，相较于大部分科大课程，还是很轻松的。

教材：

这门课是数理逻辑讲义的后半部分。

说实话，看这种书挺折磨的，经常看着看着就找不到这个符号的定义在哪里了。

而且后半部分的符号和定义不是一般的多。。。

最后期末复习的时候，逼着自己把书啃了一遍。

尤其是后面的哥德尔不完备定理，虽然不会考推导之类的，但是强烈建议看明白看懂，期末考了简答。

总之考前花一点时间把书仔细看下，把作业刷一遍，问题不大。

考试：

是我本学期最早的一门考试，在各种专业课之前考，所以有更多的时间准备。

考试全开卷，简答照书抄，推导需要一点点脑子，作业理解了应该不难。

没出分直接出总评，最后得分4.3。

时间太久远，更多细节记不清了，后期有时间翻书再补充。

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

作业两周交一次，很少，而且课本最后有提示，不会花太多时间。没点过名，后面感觉来教室的人都不到20个了。

考试全开卷，考前课本看一遍肯定不会挂，给分应该也很好。

总之很推荐，哥德尔定理有点绕，但很有意思。作业少，给分好，还是专业选修学分。

最后是我印象里的考试题，细节记不清了，仅供参考：

1. 6个判断
2. 两个问答
3. 求两个公式的哥德尔数
4. 给出计算 Cvs 和 Ctm 的算法
5. 给出表示绝对值的公式
6. 证明 $\overline{0} \times x=\overline{0}$
7. 证明无限大的递归可枚举集有无限大的子集（作业原题）

辅修人，因为神秘原因选了这门课，选之前甚至没学过数理逻辑基础

上课方面，这门课是接着数理逻辑基础直接从第三章讲的，因此没学过数理逻辑基础会如同听天书，必须要把前两章自学一下。虽然大四非常闲，但是仍然完全没跟上上课的节奏，因此全为自学。不得不说教材的自学体验是非常好的，老师的讲课以及ppt和自己看书区别不大。这门课内容不多，考试全文课本3，4章内容，前人评课提及的补充一章“模态逻辑”没有出现，请人做的关于形式化系统的科普讲座（没有理解核心思想），也没出现。

差不多一个月才出G，时间久远且中间发生了多件悲伤的事情考试题目记不清楚了，应该是5道判断（基本都是关于Godel定理那章的，神秘不堪不会做），两道论述题（形式系统局限性，可证和真的区别），写Godel数，给出表示绝对值的公式并证明递归和说明来源，证明无限大的递归可枚举集有无限大的子集，证明 $\overline{0} \times x=\overline{0}$（这三题和2023秋的完全一样）。还有一道以图为背景的题目，口胡了一些东西上去。最后总评幽默89，辅修无所谓了。

学完了仍然没有深入理解Godel定理，只是知道了Godel第一定理是用一种类似于“由一切不包含自身的集合组成的集合”方式构造的，Godel第二定理更是由于非常繁琐没看了（x）不过前两章倒是非常有趣，于是我把图论退了下学期选个数理逻辑基础凑学分（逃