课程学习
形式语义是我大三上学期最喜欢的课！简单来说就是用不同的抽象化的数学逻辑方法来证明程序的正确性，有从抽象机器执行过程出发的操作语义、数学证明的指称语义、也有给出证明规则进行证明的公理语义。
学校给这课取的名字是软件工程理论基础，实际上和名字p关系没有，严重怀疑只是为了突出这课是软件工程的独家专业课
因为个人很喜欢逻辑推导类的东西，而且老师讲得特别好（葛老师超级有才华 and 温柔有实力），所以学得很开心嘻嘻～
这门课程其实比较偏理论，感觉有点点冷门（用的是国外的教材……还停产了……），所以还是要好好听课和多思考。
专栏内容
放的是我的笔记，上面有些我对于学习内容的批注和思考。我会经常请教老师批注and思考的内容（真的麻烦老师听我叨叨了……），所以内容上应该是没有大问题的。
笔记软件导出的图片的清晰度不可控，如果需要原图再联系～
还有一些是期末的时候整理的考点、自己准备的一些练习专题。
