词语繁体：形式語義學
词语读音：xíng shì yǔ yì xué
首字拼音：Xing
词语拼音：xing shi yu yi xue
词语简拼：XSYYX
词语字数：五字词语
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
【形的意思】：形 xíng（ㄒ一ㄥˊ） （一）、实体：形仪（体态仪表）。形体。形貌。形容。形骸。形单影只。形影相吊 详情>
【式的意思】：式 shì（ㄕˋ） （一）、物体外形的样子：式样。样式。（二）、特定的规格：格式。程式。（三）、典礼 详情>
【语的意思】：语（語） yǔ（ㄩˇ） （一）、话：语言。汉语。英语。语录。语汇。语重心长。（二）、指“谚语”或“古 详情>
【义的意思】：义（義） yì（一ˋ） （一）、公正合宜的道理或举动：正义。义不容辞。义无反顾。仗义直言。（二）、合 详情>
【学的意思】：学（學） xué（ㄒㄩㄝˊ） （一）、效法，钻研知识，获得知识，读书：学生。学徒。学习。学业。学友。 详情>