形式运算

中算家试图将它们扩张为无穷的算术，从而发展出了一套与多项式理论相应的形式运算。

Ancient Chinese mathematicians had tried to extend them as for as infinite arithmetic , but the result turned out to be a set of formal operations corresponding to polynomial theory .

中学生的认知发展水平已经处于形式运算阶段，观察能力和理解能力较强，正处于世界观、价值观的形成时期，灾害伦理教育必不可少。

The level of cognitive development of middle school students is already in the stage of formal operations , observation skills and understanding are comparatively strong , it is in the period of the formation of view of the world and values , so disaster ethics education is essential .

解决化学实验问题思维训练对学生形式运算思维的影响

Influences of Thinking Training Oriented to Solution of Problems in Chemical Experiments on Students ' Thinking Capacity for Form Calculation

摘要在处于形式运算思维阶段的部分大学生身上，仍然可以看到明显自我中心表现。

An obvious expression of self-centeredness is still shown on some students in the stage of thought of formal operation .

以类运算为基础的分类属于形式运算，而其它两种分类则只是一种具体运算。

The type & based classification is a sort of formal operation , while the others are but of concrete operations .

在学生还处于具体运算阶段或者刚刚迈入形式运算阶段的时候，是启蒙物理的黄金时段。

It is a prime time for teaching Physics when students emerge abilities of formal operation or entry into the stage of concrete operation .

仅用幂函数的求导和积分的形式运算公式和初等的方法求出了自然数有限项幂和当幂为非负整数时的求和公式。

This paper gives the formulas of the sums when the power is non-negative integers through the derivation and integration of the power function and by using the elementary method .

按照皮亚杰的观点，成人的思维发展已达到形式运算的阶段，能够依据形式逻辑规则进行抽象的合乎逻辑的判断和推理。

According to Piaget , the development of adult thinking has reached the " formal operation " stage characterized by making abstract , logic judgment and decision through formal logic rules .

皮亚杰根据人的智力发展特点，提出了教育过程应分为感知运动阶段、前运算阶段、具体运算阶段与形式运算阶段。

According to the feature of individual intellectual development , Jean Piaget argues that the process of education should fall into 4 periods : activity cognition , pre-operation , practical operation , and formal operation .

皮亚杰认知发展理论包括认知发展的阶段说和影响认知发展的因素分析两部分内容，前者把人的认知发展过程分为感知运算阶段、前运算阶段、具体运算阶段和形式运算阶段连续的四个时期；

Piaget 's cognitive development theory contains both the periods and the factors . The former classifies the processes into four stages : the perceptive stage , pre operation stage , concrete operation stage and formal operation stage .

Java也用一种简写形式进行运算，并同时进行赋值操作。

Java also uses a shorthand notation to perform an operation and an assignment at the same time .

首先在p-adic分解意义下，给出了pl值多输出函数的向量表示形式及其运算性质。

Firstly , it presents the p-adic vector functional expression and operational properties of pl-valued multi-output functions .

多项式的矩阵形式及运算

The Matrix Form and Operation of the Polynomial

布尔代数中的形式积运算

The formal product operation of Boolean algebra

本文系统定义了话语信息的问句逻辑式，发展了信息语用状态的形式化运算模式。

This paper gives systematic definitions for the interrogative logic forms of discourse information and develops fuller formalizations for the pragmatic operation model of discourse information .

基于形式背景级联运算的关联规则挖掘算法

An algorithm for mining association rule based on concatenation operation for formal context

该系统具有安全性强、形式简单、运算简便以及便于实现的特点。

The system has the merits of strong security , simple form , low computation complexity and easy to realize .

在专家诊断系统的推理过程中，采用连续函数的形式进行推理运算，使推理更精确、可靠。

In expert diagnostic system , continuous function is made for reasoning , which makes the reasoning process more accurate .

提出了一种基于形式背景级联运算的关联规则挖掘方法，该方法能够挖掘出隐含在多个形式背景之间的知识。

This paper presents a method for extracting association rule based on concatenation operation for formal context , the connotative knowledge that hold between the several formal contexts can be obtained by this method .

探讨了遗传算法在求解这一复杂问题过程中的应用，提出用分层型遗传算法处理复杂时间-空间布局问题，给出了有效的编码形式和解码运算。

The application of genetic algorithm to solution of complicated time-space layout was discussed and a hierarchical genetic algorithm was used for its solution . The effective coding configuration and decoding operation were also given .

因此，基于形式化方法的运算电路验证方法，特别是完全自动化的模型检验方法，已经成为当前国内外科研机构以及EDA厂商所关注的热点问题。

Thus , using formal verification , especially model checking method ( an completely automated method ), to verify arithmetic circuits effectively becomes a hot spot concerned by world wide RD institutes and EDA vendors .

整套控制算法采用了标么值形式，提高了运算精度；

A complete set of control algorithm introduce PU ( per unit ), and enhance accuracy of operation ;

文章还讨论了四元数形式的矢量微分运算的一组计算公式。

In addition , the paper also discussed a group of formula of vector differentiation in quaternion form .

用广义基表示信号，使卷积类运算形式化为代数运算；

Signals are expressed by using a generalized basis . Convolutional operation is converted to formal algebraic operation .

将双曲函数展开式作为特殊的形式幂级数，通过形式幂级数运算获得双曲类型4组孪生恒等式，其中3组与Bernoulli数、Euler数有关。

Taking the expansion of hyperbolic function as a special formal power series , through the hyperbolic operation of formal power series , the author obtains four groups of twin identity of hyperbolic type , among which three groups are related to Bernoulli 's numbers or Euler 's numbers .

将原来仅限于标量的复形式导数，推广到复向量和复矩阵的范围，并系统地导出了复向量和复矩阵形式导数的运算法则；

The idea of complex formal derivatives is generalized from scalar to vector and matrix at first , then the manipulation rules of complex formal derivatives are derived systematically .