大家好,我是黄文超,因为学校规定,该网页将停更,目前主页已迁移至:
http://faculty.ustc.edu.cn/huangwenchao
各课程资源将迁移至新主页子目录,也可见如下目录:
形式化方法导引
形式语言与计算复杂性
密码学
常用链接
VNC Client