形式语义学课程资料PPT

本课程的内容是程序设计理论的组成部分,它以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。通过本课程的学习,使学生在计算机语言的形式语义学方面打下扎实的基础,掌握形式语义学的基本理论、基本方法和重要结论,并了解国内外最新研究动态、热点,为以后的研究做好准备。