课程难度：课程比较难，和《矩阵分析与应用》相比这门课更偏理论，我觉得挺适合没有通信基础的同学，因为隔壁《矩阵分析与应用》的实验有一大堆和通信相关的实验，没基础的同学做起来应该挺困难的。作业：不得不说，作业是又多又硬，证明题搞得人要崩溃（但是我是不会告诉你在西区的黑心英语书店有课后作业的答案的）给分： >>more
课程难度：没有教材，内容也不是很多，前几节课老师介绍人工智能安全相关的最新研究，期望从中学到人工智能安全相关的具体内容不太可能，但是能对这个方向有个大体的认识，至少对这个方向有什么小方向有了一个比较清晰的认识，剩下的课基本都是让大家上来做汇报（感觉其实可以不去？）作业：作业比较少。第一次作业：老师邀 >>more
这门课名字叫做形式化方法，我选这门课之前也不知道这门课是干啥的，只是因为这门课没有考试才选的，学完之后发现这门课真的不错。我觉得这门可以算作是对数理逻辑的扩展（这样说其实也不太准确，但是由于如果没学过这门课的内容，也不太好解释清楚，所以可以看作是数理逻辑的扩展）这门课的内容挺难的，但是只要上课跟着老 >>more