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

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

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

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

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

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

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

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

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

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

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

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

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