找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 形式语义学
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。 — 拼音 xíng shì yǔ yì xué，更新 2026-07-13 01:21:33
| 拼音 | xíng shì yǔ yì xué |
|---|---|
| 拼音字母 | xing shi yu yi xue |
| 首字母 | xsyyx |
| 注音 | ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ |
| 注音符号 | ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ |