在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。
形式系统
网络释义专业释义
致命的批评是:在我们证明某个形式系统 (formal system) 是一致的 (consistent)之前,我们并不能说它的哥德尔句 (Godel sentence) 是真的,但是对于它的一致性,我们却无法提供 形式证明 (...
基于2520个网页-相关网页
... logistic curve 逻辑斯谛曲线 logistic system 形式系统 lognormal distribution 对数正态分布 ...
基于58个网页-相关网页
短语
教学形式系统 system of teaching forms
不相容形式系统 inconsistent formal system
命题逻辑形式系统 FSPC
变分形式系统 formal system of variation
形式系统收敛性 astringency of formal system
形式系统的算术化 arithmetization of formal system
形式系统的语法等价 Syntactically-equivalent of Formal System
系统形式 The system form
环形辐射式道路系统 ring and radial road system
-
formal system - 引用次数：14 参考来源 - 代数系统的可嵌入性form system - 引用次数：2 参考来源 - 奎因与模态逻辑的发展
-
formal system - 引用次数：14
A series of properties of generalized tautologies of the basic formal system of universal logic are discussed.
给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。
参考来源 - 泛逻辑的基本形式系统中的广义重言式理论 in C -
form system - 引用次数：8
The Space-Oriented Design (SOD) is derived from the fundamental researches of Spatial Form System (SFS). SOD separates the spatial factors from other technical and humanistic factors of the architecture.
面向空间设计的理论模型来源于对空间形式系统所作的基础性研究。
参考来源 - 面向空间的设计 -
formal system
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
数学家 Gregory Chaitin 和 A.N.Kolmogorov 在他们关于复杂性和形式系统的局限性的开创性工作中，迫使我们更仔细地考虑最后一个说法。
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.
-
其次是形式系统的语义解释。
Secondly, it is the semantic interpretation of formalized system.
-
许多语用学家认为语用推理无法用形式系统来刻画，只能用非形式的甚至是隐喻性的语汇来描述。
In the eyes of many, pragmatic inference has often been seen as a subject that defies formal characterizations and is describable only in non-formal, sometimes metaphorical terms.
-
So there's p v work and it's given by the integral minus p external dv or just the integral from one to two of dw.
我们知道对于pv系统来说,功w可以写成黑板上的两种不同形式。
应用推荐
$firstVoiceSent
- 来自原声例句