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

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

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