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

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

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

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

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

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

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

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

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

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

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

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

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

课堂：

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

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

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

作业：

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

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

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

教材：

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

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

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

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

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

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

考试：

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

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

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

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