形式语义学课程资料PPT

【文件属性】：

文件名称：形式语义学课程资料PPT

文件大小：9.1MB

文件格式：PPT

更新时间：2023-01-22 05:44:09

形式语义学

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