go top

formal system

  • [数] 形式系统

网络释义专业释义

  式系统

2、形式系统formal systems)─ 语构层面。形式系统是一种人工语言(如常见的一 阶谓词演算系统,自然演绎系统等),以上述的逻辑代数为其语义。

基于26个网页-相关网页

短语

Logic and Formal Systems 逻辑系统

Important families of formal systems 重要逻形式系统体系

Formal design of systems 正式系统设计

Formal Approaches to Agent-Based Systems 基于代理系统的形式方法

formal training Systems 培训系统

the formal evidence systems 形式证据制度

switched T-S formal fuzzy systems 切换T

Systems of formal education 教育体系

formal l design of systems 正式系统设计

 更多收起网络短语
  • 正式制度 - 引用次数:4

    参考来源 - 强制性社会变迁中的社会资本及其经济效应——基于三峡工程移民的调查分析

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

双语例句权威例句

  • In their groundbreaking work regarding complexity and the limitations of formal systems, mathematicians Gregory Chaitin and A.N. Kolmogorov force us to consider this last claim more closely.

    数学家 Gregory Chaitin A.N.Kolmogorov 他们关于复杂性形式系统局限性开创性工作中,迫使我们仔细地考虑最后一个说法

    youdao

  • Being one aspect of poetic formal systems, images are very important to poems and are perfect forms of poetry.

    意象作为诗歌形象系统中的一个方面,其于至为重要堪称至境形态

    youdao

  • We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.

    我们使用时态逻辑各种研究领域建立一些特定形式系统

    youdao

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

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

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