请问「形式语义学」是什么意思？
关于「形式语义学」
拼音 xíng shì yǔ yì xué，注音 ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ。数据更新于 2026-07-16 05:39:51。
| 拼音字母 | xing shi yu yi xue |
|---|---|
| 拼音首字母 | xsyyx |
| 注音符号 | ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ |
| 注音首符号 | ㄒㄕㄩㄧㄒ |
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
拆字组词
相关词语
- 丝鳍副单角鲀是什么意思？
- 乔凡娜的爸爸是什么意思？
- 乐和是什么意思？
- 从化二中是什么意思？
- 分组密码是什么意思？
- 初见水位是什么意思？
- 半亩方塘是什么意思？
- 卡拉麦卡是什么意思？
- 周晓霞是什么意思？
- 失歌症是什么意思？
- 孔令超是什么意思？
- 平衡翼是什么意思？
- 应天顺时是什么意思？
- 恶魔下坠是什么意思？
- 日记簿是什么意思？
- 林品璇是什么意思？
- 楔叶独行菜是什么意思？
- 欧晓明是什么意思？
- 毒鼠硅是什么意思？
- 水丘是什么意思？
- 爱上你爱上我是什么意思？
- 确定等值系数是什么意思？
- 茂港渔村是什么意思？
- 草编包是什么意思？
- 虎魄是什么意思？
- 西番雅是什么意思？
- 记录指针是什么意思？
- 运心是什么意思？
- 费基尔是什么意思？
- 闫英是什么意思？
- 陶海生是什么意思？
- 镇西将军是什么意思？
- 顺序统计量是什么意思？
- 马甸镇是什么意思？
- 鬼鬼头头是什么意思？
- 景德镇大酒店是什么意思？
- 江都市民政局是什么意思？
- 宇野诺伊是什么意思？
- 账户余额管理是什么意思？
- 螳螂女是什么意思？
- 爱尔兰梗是什么意思？
- 死神之流星是什么意思？
- 熟红薯片是什么意思？
- 玫瑰包是什么意思？
- 狼鼻鱼是什么意思？
- 中华中医网是什么意思？
- 古喙龙是什么意思？
- 四大名螺是什么意思？
- 春初寄包侍卿是什么意思？
- 西翁大师是什么意思？