1) Formal system K_L~*
形式系统K_L~*
2) 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.
提出了热水供暖系统形式的分类方法,列出了系统形式分类总表、系统形式图式,并对各种系统形式的特点及适用条件等进行了论述。
3) 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.
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。
4) form system
形式系统
1.
The Space-Oriented Design (SOD) is derived from the fundamental researches of Spatial Form System (SFS).
面向空间设计的理论模型来源于对空间形式系统所作的基础性研究。
5) formal system
形式化系统
6) formal system L?
形式系统L?
补充资料：内部形式与外部形式
标示形式自身相互区别的一对哲学范畴，即表现事物内容的两种不同的方式。内部形式是内容的内在组织结构，内容诸要素间的本质联系；外部形式是内容的外在的非本质的联系方式，是使不同内容的事物相互区别的外部形态、外部表现。内部形式和内容不可分割，和内容一起表现着事物的本质方面，其发展变化直接影响着内容的发展变化。它包含在内容自身之中，在一定意义上是内容的组成部分、因素和环节，和内容是直接统一的。外部形式同事物的现象相联系,是内容的外观,它以外在的表现形式对内容发生影响。外部形式同内容的联系不具有内部形式那样的内在性、直接性，它和内容不是直接统一的。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
内部形式和外部形式的区分对于文学艺术具有重要意义。文学艺术内容的内部结构性、组织性，形象联系的合理性、协调性和完整性等，直接表现着文学艺术作品的思想主题，它们是和文学艺术内容直接统一的内部形式。在此意义上，内部形式也就是内容的组成部分。文学艺术作品的内容又要通过物质材料，通过文学艺术思想的物化形态表现出来，以供观赏。物质材料等文学艺术思想的物化形态，构成文学艺术的外部形式。对于文学艺术来说，其外部形式具有重要的作用。事物的外部形式具有不同的层次，其中，有些同事物的内容存在着一定联系，有些则同事物的内容并不直接相关。
唯物辩证法首先重视事物的内部形式，认为内部形式和内容一起共同表现着事物的本质，它对于理解和把握事物的发展具有重要意义。与此同时，也注意事物的外部形式，认为它是影响事物发展的一个因素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条