大家好，我是黄文超，因为学校规定，该网页将停更，目前主页已迁移至:

http://faculty.ustc.edu.cn/huangwenchao

各课程资源将迁移至新主页子目录，也可见如下目录:

形式化方法导引

形式语言与计算复杂性

密码学