说明语义学

「说明语义学」是什么意思？

更新 2026-07-10 17:01:13

• 拼音字母shuo ming yu yi xue
• 首字母smyyx
• 注音符号ㄕㄨㄛ ㄇㄧㄥ ㄩ ㄧ ㄒㄩㄝ

扩展释义

《形式语义学基础与形式说明》是2010年科学出版社出版的图书，作者是屈延文。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。

拆字组词

相关词语

• 三面体查含义
• 何立志查含义
• 刘祯查含义
• 加奥加兽查含义
• 去危就安查含义
• 反瓣虾脊兰查含义
• 地面询问机查含义
• 园丰村查含义
• 园北路查含义
• 大吹大打查含义
• 妇洁阴栓查含义
• 宽羽鳞毛蕨查含义
• 帕特里克查含义
• 巴拿马谍变查含义
• 康伟查含义
• 德川庆彦查含义
• 弄鬼查含义
• 思宇查含义
• 日本邮船查含义
• 曲靖市查含义
• 李嘉言查含义
• 李百战查含义
• 梁鲁查含义
• 杨建党查含义
• 沉雷查含义
• 沙弥查含义
• 港莲二村查含义
• 王亚威查含义
• 盖世豪查含义
• 短刺羽祝蛾查含义
• 石棉布查含义
• 缺憾美查含义
• 肝喜乐片查含义
• 美雄酮片查含义
• 蒙特娄六重奏查含义
• 赵希田查含义
• 道具换位卡查含义
• 钟彦君查含义
• 钟晓飞查含义
• 长丰县国税局查含义
• 马骏祥查含义
• 头克汗查含义
• 建国北路站查含义
• 宿松县工商局查含义
• 田代勇介查含义
• 星梦启程查含义
• 爽甜萝卜条查含义
• 宜城大虾查含义
• 保洛查含义
• 街头地画查含义

热门组词

• 张渊组词
• 灰锦组词
• 读鞫组词
• 兴路组词
• 龙征组词
• 雷磁组词
• 降解组词
• 鞮红组词
• 乐德组词
• 修邪组词