形式语义学

【文件属性】：
文件名称：形式语义学
文件大小：6.61MB
文件格式：ZIP
更新时间：2021-11-09 14:24:31
形式语义学 形式语义学的教科书两本:形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。

【文件预览】：
理论计算机科学 形式语义学引论(周巢尘著).pdf
形式语义学引论 ---语言学---蒋严 潘海华 1998.pdf