程序设计形式语义学
南京理工大学 计算机系
张琨
二○○四年八月二日
南京理工大学 计算机系
2009.11.21
张琨
zhangkunw@sina.com
一、课程目标
本课程的内容是程序设计理论的组成部
本课程的内容是程序设计理论的组成部
分，它以数学为工具，利用符号和公式，
分，它以数学为工具，利用符号和公式，
精确地定义和解释计算机程序设计语言
精确地定义和解释计算机程序设计语言
的语义。通过本课程的学习，使学生在
的语义。通过本课程的学习，使学生在
计算机语言的形式语义学方面打下扎实
计算机语言的形式语义学方面打下扎实
的基础，掌握
的基础，掌握
形式语义学的基本理论、
形式语义学的基本理论、
基本方法和重要结论
基本方法和重要结论
，并了解国内外最
，并了解国内外最
新研究动态、热点，为以后的研究做好
新研究动态、热点，为以后的研究做好
准备。
准备。
二、课程授课模式
1
1
、采用讲解与讨论相结合模式
、采用讲解与讨论相结合模式
2
2
、辅以课后预习
、辅以课后预习
三、课程考核方式
1
1
、论文
、论文
2
2
、论文主要论述“形式语义学的理论
、论文主要论述“形式语义学的理论
基础”、“形式语义学的发展”等。具
基础”、“形式语义学的发展”等。具
体有小课题。
体有小课题。
四、参考书籍和文献
1.
1.
《程序设计语言理论基础》，许满武等译
《程序设计语言理论基础》，许满武等译
.
.
北京：电子工业出版社
北京：电子工业出版社
. 2006.
. 2006.
2.
2.
《程序设计语言的形式语义》，宋国新等译
《程序设计语言的形式语义》，宋国新等译
.
.
北京：机械工业出版社
北京：机械工业出版社
. 2005.
. 2005.
3.
3.
《形式语义学引论》，蒋严，潘海华 著
《形式语义学引论》，蒋严，潘海华 著
.
.
北京
北京
:
:
中国社会科学出版社
中国社会科学出版社
. 1998.
. 1998.
4.
4.
《形式语义学基础与形式说明》，屈延文
《形式语义学基础与形式说明》，屈延文
著
著
.
.
北京
北京
:
:
科学出版社
科学出版社
. 1998.
. 1998.
5.
5.
《形式语义学的稳定论域理论》，陈仪香
《形式语义学的稳定论域理论》，陈仪香
著
著
.
.
北京
北京
:
:
科学出版社
科学出版社
. 2003.
. 2003.
