中英▼
go top

网络释义专业释义

  set theory operator

集合论算子

基于1个网页-相关网页

  • set theory operator - 引用次数：4

    Therefore, this subject studies automatic refinement of set theory operator in order to develop a entire compiler which can make a convert of Z specification to compiled high-level programme language.

    基于以上原因,以自动求精的实现为目的,为研制一套完整的编译环境,使其可以将Z规格说明自动转化为可编译的高级程序设计语言,本课题研究了集合论算子的自动求精。

    参考来源 - Z规格说明中集合论算子的自动求精研究及实现

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • 利用覆盖空间，得到了粗糙集和拓扑中更深刻的性质，从算子论和集合论的角度丰富和深化了粗糙集与拓扑的内容。

    Furthermore the deeper properties of rough sets and topology are achieved by covering Spaces, and rough sets theory and topology have been enriched from the operator-oriented and set-oriented views.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定