查询结果
形式语义学
xíng shì yǔ yì xué
ㄒㄧㄥˊ ㄕˋ ㄩˇ ㄧˋ ㄒㄩㄝˊ
「形式语义学」是什么意思？
更新 2026-07-12 03:18:35
- 拼音字母xing shi yu yi xue
- 首字母xsyyx
- 注音符号ㄒㄧㄥ ㄕ ㄩ ㄧ ㄒㄩㄝ
扩展释义
形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。最初的研究开始于蒙太古以数理逻辑方法对英语的研究，后来经过语言学家和哲学家的共同努力，发展成为一个独立的学科，并且摒弃了蒙太古对生成语言学的句法学的忽视，强调语义解释和句法结构的统一，从而最终成为生成语言学的语义学分支。
拆字组词
相关词语
- 不理查含义
- 书蠹查含义
- 乌史大桥乡查含义
- 咖啡蛋糕卷查含义
- 国贸查含义
- 坦克潜渡场查含义
- 大波浪查含义
- 大石枣查含义
- 大神你别跑查含义
- 大陆宾馆查含义
- 对与决查含义
- 小幸感查含义
- 小拟孔蜂查含义
- 已删查含义
- 彭运铝查含义
- 枕酸甲酯查含义
- 杨春国查含义
- 泽渡真琴查含义
- 火神兽查含义
- 渴想查含义
- 烟蒂查含义
- 玉垒查含义
- 王晓晴查含义
- 猎巫查含义
- 电话耳机查含义
- 电路交换单元查含义
- 痛经宁糖浆查含义
- 罗东查含义
- 耶末查含义
- 蓝花参查含义
- 蜚短流长查含义
- 观光客查含义
- 血溅狮王阵查含义
- 贡枣查含义
- 贩书偶记查含义
- 遂心查含义
- 重议查含义
- 陈家乐查含义
- 霸行九霄查含义
- 雷森查含义
- 雾道查含义
- 齿球螋查含义
- 九资河查含义
- 伊达前辈查含义
- 长螺蛳查含义
- 煮煮乐查含义
- 香料烤土豆查含义
- 校园小侦探查含义
- 斑马裸鯙查含义
- 指甲半月痕查含义
热门组词
友情链接
抓书网
短词网
书号查询
星云网
赊销贸易是什么意思？
福州天气预报30天是什么意思？
驱动程序代码自动化测试方法最佳分析.pptx是什么意思？
钓鱼的技巧调漂方法是什么意思？
华泰饭店是什么意思？专家解读 权威解读「华泰饭店」的含义、读音与用法，一文读懂词语内涵。 huá tài fàn diàn 2026-06-30 15:40:40
轻死重气是什么意思？
shì 式是什么意思？
章丘一职专是什么意思？
面额是什么意思？ miàn é
性伞毛是什么意思？
﨑是什么意思？
陶敬学是什么意思？
西安天气预报30天是什么意思？
修真者真的存在吗是什么意思？
haughtonite是什么意思？
己部首的字是什么意思？