逻辑代数

Effect algebras were introduced as a mathematical model of quantum logic by American mathematicians Foulis and Bennett in 1994, which generalized ortho

1994年美国数学家Foulis和Bennett引进了效应代数概念，推广了正交模格，被看作是量子逻辑的数学模型。

It includes the definition of two basic operations, logical functions expansion and matrix formulation in OR-Coincidence algebra system, and the introduction of map expression--dj map, the complete research of the relations among CRM expansion^ maxteim expansion and RM expansion, iiamely tie relations among dj map, K-map and bj map, also includes the minimization of CRM expansion in fixed and mixed polarities-Meanwhile this dissertation points out the form and properties of basic symmetric function, simple symmetric function and basic CRM symmetric function in OR-Coincidence algebra system, discusses the relations and transform methods among the coefficients of the three kinds of symmetric functions.

包括连和与加合两种基本运算的定义，逻辑函数在或、符合代数系统里的展开式及矩阵表示式，展开式图形表示--d_i图的引入，对CRM展开式和最大项展开式、RM展开式，d_i图和K图、b_i图之间的关系及转换方法进行了较为全面的研究，以及CRM展开式在固定极性和混合极性下的最小化问题。

Based on the modified interval algebra, an interval based temporal logic TL is constructed, its semantics is rigorously defined.

在扩充后的时区代数结构的基础上，构造一种基于时区的一阶时态逻辑语言TL，并为TL规定了语义。

The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning.

格蕴涵代数为格值逻辑与不确定性推理的研究提供了一种理论基础。

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算，量词。

Methodology of implementing the technique of PDM and Method of applying and developing PDM system in furniture enterprises are studied. Moreover, making an example as typical board structure products, the research analyses E-R diagram of furniture PDM and optimizes its data models. Furthermore, it dedicates to study logic organization mode of furniture product data management with the center of product structure, and provides theoretical basis of relational algebra for the design and development of the database of furniture PDM system.

探讨了PDM技术在家具企业中应用实施以及系统开发的方法学；并且，采用E-R图分析和优化了家具PDM的数据模型，以办公家具中的典型板式结构产品为实例，针对性地探讨了以产品结构为中心的家具产品数据管理的逻辑组织模式，为家具PDM系统数据库的设计开发提供了关系代数理论依据。

On the base of these, and the ideas of mathematical curriculum reform and the course of the reform of solid geometry, combining with educational reality and students" psychology, put forward some thoughts about solid geometry of middle school in future:(1) The arrangement of curriculum content should. give consideration to both the logical sequence of knowledge and the development of students" psychology, and make them united;(2) Paying great attention to the analogy of plane geometry and solid geometry;(3) Some respects remained to be strengthened about solid geometry in senior middle school;(4) Emphasizing the importance of conversion in solid geometry;(5) Stressing on the combination of solid geometry and algebra and other subjects;(6) The design of the content of solid geometry should have certain elasticity, and make solid geometry and modern education technology well combined.

在此基础上，又植根于近年来我国数学课程改革的理念和立体几何课程改革的进展，并结合我国的教育实际与学生心理，对未来中学立体几何课程的设胃提出若干思考：(1)课程内容的编排，要兼顾知识的逻辑顺序和学尘的心理发展相统一；(2)重视平面几何和立体几何的类比；(3)高中阶段立体几何有待加强的几个方面；(4)强调变换在立体几何中的重要性；(5)注意将立体几何和代数及其他学科相结合；(6)立体几何内容的设计要有一定的弹性，并注意与现代教育技术相结合。

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

It includes symbolic logic, set theory, graph theory and algebra system.

本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。

The one is the to poiein, or the principle of synthesis and has for its objects those forms which are common to universal nature and existence itself; the other is the to logizein or principle of analysis and its action regards the relations of things, simply as relations; considering thoughts, not in their integral unity but as the algebraical representations which conduct to certain general results.

一曰创造或综合法则，而尊此法则所归纳的对象被赋之以普遍存在和其自身拥有的共性形式。二曰逻辑或分析法则，它的作用关乎事物间的联系，仅仅是联系。它并非从整体上看待思想，而是将其视为多个代数上的呈示，这些呈示最终将导出某个必然的结果。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。