智能词典助手

基于汉语知识库 · 词语释义与组词查询

请帮我解释一下「说明语义学」这个词的含义。

助手

「说明语义学」释义报告

拼音 shuō míng yǔ yì xué · 更新 2026-08-17 21:14:37

读音

  • 拼音shuō míng yǔ yì xué
  • 字母shuo ming yu yi xue
  • 首字母smyyx
  • 注音ㄕㄨㄛ ㄇㄧㄥˊ ㄩˇ ㄧˋ ㄒㄩㄝˊ

补充释义

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