你
请解释一下「形式语义学」这个词的含义。
助手
形式语义学
xíng shì yǔ yì xué · ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ
xing shi yu yi xue
xsyyx
ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ
2026-07-11 00:39:16
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
友情链接
抓书网
短词网
书号查询
星云网
缺勤是什么意思？
凯特琳洗衣是什么意思？
订婚吉日是什么意思？
9开头是什么意思？
品德 拼音 pǐn dé，一文读懂「品德」的含义、出处与用法。 pǐn dé 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？
查看江西天气-徐州一周天气预报 查看江西天气 江西是什么意思？
删除所有空格 可以删除文本和字符串中的所有空白和制表符是什么意思？
甘是什么意思？
猫番阅读APP 新闻阅读 / 40.2M 2026-03-06 18:30:03 下载是什么意思？
身份识别是什么意思？
钓鱼观漂技巧是什么意思？
个人复盘总结范文(汇总3… 10-23是什么意思？
在线进制转换 编程开发 toolshu.com/hex 在线进制转换工具，支持在2~36进制之间进行任意转换，支持浮点型。快速、简单、高效。是什么意思？
查看海南天气-气温查询 查看海南天气 海南是什么意思？
陆云山是什么意思？
娱乐：开局抽奖，我超级嗓音爆火全网最新章节列表_娱乐：开局抽奖，我超级嗓音爆火全网全文免费阅读(沈逸文小玉)是什么意思？