go top

formal system

  • [数] 形式系统

网络释义专业释义英英释义

  [数] 形式系统

致命的批评是:在我们证明某个形式系统 (formal system) 是一致的 (consistent)之前,我们并不能说它的哥德尔句 (Godel sentence) 是真的,但是对于它的一致性,我们却无法提供 形式证明 (...

基于2542个网页-相关网页

  规范化管理系统

... 规范化种植 GAP 规范化管理系统 formal system 系统规范化说明 System Specification ...

基于459个网页-相关网页

短语

inconsistent formal system 不相容形式系统

arithmetization of formal system 形式系统的算术化 ; 正式系统算术化

incompleteness of formal system [自] 形式系统的不完全性

formal road system 规整式道路系统

formal system ft 形式系统FT

Formal system LN 形式系统N

the formal system 正式制度

general formal system 一般形式体系

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

    Besides formal system, we should also pay attention to such informal systems’ constraint for enterprisers as social psychology and public opinions.

    除了正式制度,我们还要注意非正式制度如社会心态、社会舆论等对企业家的制约。

    参考来源 - 企业家成长制度的研究
    规范化管理
  • 形式系统 - 引用次数:14

    A series of properties of generalized tautologies of the basic formal system of universal logic are discussed.

    给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。

    参考来源 - 泛逻辑的基本形式系统中的广义重言式理论 in C
    形式化系统
  • 形式系统 - 引用次数:14

    参考来源 - 代数系统的可嵌入性
    形式化系统
    形式体系
  • 规范化管理系统
  • 形式系统

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

Formal system

  • abstract: A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics. Euclid's Elements is often held to be the first formal system and displays the characteristic of a formal system.

以上来源于: WordNet

 柯林斯英汉双解大词典 

formal system

  • 1. 

    N an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system 形式系统 (Also called formal theory, formal calculus) [logic] → compare formal language

双语例句权威例句

  • Maitland offered one reason: the subject requires researchers to "master an extremely formal system of pleading and procedure".

    梅特兰给出了理由一课题要求研究人员掌握极其正式答辩程序系统”。

    youdao

  • This dissertation presents a formal system of cooperation.

    提出一种描述主体协作形式系统

    youdao

  • In a social system structure, the system includes the formal system and the informal one.

    一个社会制度结构中,制度包括正式制度非正式制度。

    youdao

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

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

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