1) formal system
形式化系统
2) Formalization generating system
形式化生成系统
3) formalized system
形式化系统模型
1.
This article introduces two models of complex systems: the model of formalized system and that of connectionism.
本文重点介绍了复杂系统的两种模型描述方法:形式化系统模型与关联论模型,并比较它们各自的优缺点。
4) arithmetization of formal system
形式系统算术化
5) system form
系统形式
1.
The system forms of how to carry out central heat supply and household heat metering for new residence are introduced.
从设计的角度阐述了新建住宅集中供暖分户热计量实施的几种系统形式 ,并进行比较 ,指出其优缺点。
2.
Describes the scope, standard and system form of clean system design, and also the related energy saving design.
探讨了生产原料发热量和CO2散发量、通风量的计算方法,空调末端系统形式,并举例进行说明。
3.
Proposes the classification method of the hot water heating system forms,presents the classification table and chart of system forms,and discusses the characteristic and application condition of different system forms.
提出了热水供暖系统形式的分类方法,列出了系统形式分类总表、系统形式图式,并对各种系统形式的特点及适用条件等进行了论述。
6) formal system
形式系统
1.
In this paper,we have given a novel kind of many-valued logic,GML 3 formal system is different from two-valued logic,and two-valued logic is degeneration of GML
给出了一种新的多值逻辑系统，公理化所得到的ＧＭＬ３形式系统与二值逻辑有本质的区别，二值逻辑是它的一个退化。
2.
Four kinds of expressions,that is,application expression,abstract expression,combination expression and selection expressions are studied in[2],and a formal system for the theory of expressions with arities is given in[1].
在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 。
3.
In this paper, a propositional logic formal system is established by using the equivalent replacement as the only rule of inference,and by using commutative law, associative law, distributive law, absorption law and the law of excluded middle as axioms.
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条