形式化方法（华保健）
2023秋
非常推荐！！！平时：没有点名，上课时会由数学史入手，来介绍这部分内容在数学中的作用（对于对数学感兴趣的同学非常有意思），认真听讲会有很多收获。然后会讲解在计算机中的实现（通过 python 和 z3工具包），在每节课结尾会带着做实验，代码同样可以 git 。考试：开卷，题型固定，看22的 revie >>更多
形式化方法（华保健）
课程简介
