查询结果
形式语义学
xíng shì yǔ yì xué
ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ
「形式语义学」是什么意思？
更新 2026-07-16 06:44:00
- 拼音字母xing shi yu yi xue
- 首字母xsyyx
- 注音符号ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
拆字组词
相关词语
- 东颚巨齿蛛查含义
- 中国枯叶尺蛾查含义
- 劉力達查含义
- 博艺查含义
- 叶厝村查含义
- 吴国亭查含义
- 基础标准查含义
- 奇芳阁查含义
- 张晗劲查含义
- 张连法查含义
- 张志腾查含义
- 快杀稗查含义
- 抹灰砂浆查含义
- 悦兰芳查含义
- 拉什福德查含义
- 柔亚查含义
- 欧洲白蜡树查含义
- 永恒胡同查含义
- 流标查含义
- 秦素琴查含义
- 肩带查含义
- 自成一家查含义
- 藤原妹红查含义
- 蓝翅重突天牛查含义
- 詢于芻蕘查含义
- 超时代记查含义
- 走出爱情查含义
- 遥控浮球阀查含义
- 雄先藏族乡查含义
- 颜色通道查含义
- 麻岗查含义
- 洲湖查含义
- 神奇星球查含义
- 藤原雅查含义
- 狮子悬山查含义
- 哞哞查含义
- 天堂居所查含义
- 飞利浦电吹风查含义
- 杜万查含义
- 盖布哈特查含义
- 紫陆寄居蟹查含义
- 南方经济查含义
- 欧浦电子盘查含义
- 贾蕴高查含义
- 田仲愚查含义
- 汪之衍查含义
- 查子香查含义
- 孙焰红查含义
- 瞄准轻熟女查含义
- 宝驾出行查含义