查询结果
形式语义学
xíng shì yǔ yì xué
ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ
「形式语义学」是什么意思？
更新 2026-07-19 04:46:59
- 拼音字母xing shi yu yi xue
- 首字母xsyyx
- 注音符号ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
拆字组词
相关词语
- 主音查含义
- 何休查含义
- 凯勒公园查含义
- 击落查含义
- 刀光鱼查含义
- 北王力乡查含义
- 功率谱密度查含义
- 半部禅查含义
- 可道查含义
- 吴千平查含义
- 周小真查含义
- 图德盖查含义
- 地质生态位查含义
- 声援查含义
- 天童生态站查含义
- 奔离点查含义
- 孙希龄查含义
- 季巍查含义
- 宽叶羊角芹查含义
- 峨边查含义
- 废气再循环查含义
- 应节合拍查含义
- 扶威查含义
- 扬菌胺查含义
- 暗亏查含义
- 曲东查含义
- 李之朋查含义
- 李庆恩查含义
- 欢喜山查含义
- 毛胫亮叶花蝇查含义
- 武瓘查含义
- 洛迦诺查含义
- 水处理滤芯查含义
- 治淮路查含义
- 津利华大酒店查含义
- 牛凯查含义
- 牛肉豆查含义
- 王彦发查含义
- 田文龙查含义
- 石原江里子查含义
- 百合白绢病查含义
- 穆庄查含义
- 纠集查含义
- 罗浮槭查含义
- 茸参补肾胶囊查含义
- 补课查含义
- 邯钢大厦查含义
- 追逐快乐查含义
- 酱油查含义
- 长颈甲科查含义