你
请解释一下「形式语义学」这个词的含义。
助手
形式语义学
xíng shì yǔ yì xué · ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ
xing shi yu yi xue
xsyyx
ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ
2026-08-18 01:34:56
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
友情链接
抓书网
短词网
书号查询
星云网
成语词典 成语词典是成语的集合，是把成语按某种顺序排列并加以解释供人检查参考是什么意思？
领导在新班子成立后的第一次大会材料三篇【精选发言稿】是什么意思？
道奇的圣诞是什么意思？
zuò fáng 作房是什么意思？
哈尔滨天气预报30天是什么意思？
财务科长竞聘报告是什么意思？
引水明渠是什么意思？
冬季鲤鱼最好是什么意思？
龙苓春合剂 是什么意思？ lóng líng chūn hé jì
悃愊无华 kǔn bì wú huá 阅读是什么意思？
查看内蒙古天气-雨林天气 查看内蒙古天气 内蒙古是什么意思？
阳光步行街是什么意思？
xuán kǔn 玄阃是什么意思？
扌部首的字是什么意思？
火星文转换器是什么意思？
哈尔滨天气预报30天是什么意思？