Program Verification 00 - Introduction
# 前言
前置知识:布尔逻辑基础,编译原理前半部分。
# 阅读指引图
其中:
箭头表示一组前置知识的关系。在阅读一篇文章前,推荐您先阅读其所有前置文章。
虚线箭头表示一组建议的前置关系,是可选的,您可以选择忽略此类提示。
淡粉色方块表示来自其他知识板块的文章,因为它们是本板块内某些文章的前置知识,所以被专门标示出来。
# 参考资料
IIT - CS 536: Science of Programming (opens new window)
NJU - Formal Semantics of Programming Languages (opens new window)