ch3 集合论
集合论的知识也是离散数学学的，但是在这一章节提到了在形式语义中不同的逻辑记号的表达方式。最后还学了点lambda演算。
👉 点击这里阅读下一篇：《ch4 操作语义》
2026-01-22
ch1-2 数理逻辑
ch1-2 数理逻辑
这两章是在复习之前学习的离散数学的数理逻辑，个人觉得对后续新知识的学习影响不大。就当作头脑逻辑复健吧。
👉 点击这里阅读下一篇：《ch3 集合论》
2026-01-21
Introduction
课程学习形式语义是我大三上学期最喜欢的课！简单来说就是用不同的抽象化的数学逻辑方法来证明程序的正确性，有从抽象机器执行过程出发的操作语义、数学证明的指称语义、也有给出证明规则进行证明的公理语义。
学校给这课取的名字是软件工程理论基础，实际
2026-01-20