形式语义学
【词语拼音】xíng shì yǔ yì xué
【词语繁体】形式語義學
【词语结构】式词语
【词语字数】五字词语
【网络解释】
形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究,后来经过语言学家和哲学家的共同努力,发展成为一个独立的学科,并且摒弃了蒙太古对生成语言学的句法学的忽视,强调语义解释和句法结构的统一,从而最终成为生成语言学的语义学分支。
语义学形式主义美学形式主义形式语法形式语言汉语语义学语义哲学形式美学形式科学美学形式就学形式义形语义历史语义学生成语义学说明语义学中文语义学语义学引论词汇语义学形语动词语义学普通语义学结构语义学形式形式主义摄影形式逻辑学俄国形式主义形式语言理论义学学义形学教学组织形式语义场语义层同义语语义圈学习英式英语学语语学学习美式英语形式化形式美迹形式走形式形式感零形式义形于色词义学释义学景学义形态学地形学畸形学样式主义语词定义论语正义指称语义语义分析语义扩展语义信息语义悖论语义网络语义记忆语法意义定义语言语义编码语义结构语法讲义无义味语形而上学唯物主义水形物语形式逻辑动作形式逻辑形式工资形式等价形式股权形式货币形式移动形式封装形式民族形式书面形式形式发票形式思维国画形式形式系统伴随形式空间形式艺术形式证据形式形式教育贸易形式指标形式生命形式形式参数形式推理