Examples of using First-order in English and their translations into Chinese
{-}
-
Political
-
Ecclesiastic
-
Programming
For example, a first-order cybernetic system would be a thermostat and a second-order system would be the earth's ecosystem.
比方说，一个一阶控制系统会是一个温控器，而一个二阶系统将会是地球的生态系统。Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative.
Prolog的根源是一阶逻辑--一种形式逻辑，且与许多其他编程语言不同的是，Prolog是声明式的。This study demonstrates that reconstructing a room from first-order echoes acquired by four microphones is a theoretical problem that is well-posed under generic conditions.
这项研究表明，用4个麦克风获得的一阶回声重建房间形状是一个在通用条件下可解答的理论问题。An optimist might attempt to reduce second-order logic to first-order logic in the following way.
He was fond of quoting Jay Forrester:"While most people understand first-order effects, few deal well with second-and third-order effects.
他喜欢引用杰伊·佛瑞斯特(JayForrester)的话:“大部分人都只能理解第一阶效应,只有少数人会很好地考虑第二阶和第三阶效应。This provides us with an invaluable tool for combining expressions of first-order logic as we assemble a meaning representation for an English sentence.
The Karush- Kuhn- Tucker conditions are first-order necessary conditions for a solution in a well-behaved nonlinear programming problem to be optimal;
卡羅需－庫恩－塔克條件是一个表现良好的非线性规划问题解决方案最优的一阶必要条件；.Such a relation closely corresponds to what is usually called the extension of a predicate in first-order logic except that here we identify the places in the predicate with attribute names.
这种关系紧密的对应于在一阶逻辑中通常叫做谓词外延的东西，除了我们这里用属性名字标识在谓词中的位置之外。Photolysis occurs according to first-order kinetics, with half-lives of 37 and 90 days under continuous simulated and natural sunlight, respectively, at latitude 38°49' and longitude 94°40'
据一级动力学发生，在北纬38°49'和东经94°40'连续模拟和自然阳光条件下，半衰期分别为37天和90天。Because this experiment follows first-order kinetics, divide the rate,[H2O2]/s, by the original solution concentration for each trial,[H2O2]0, to yield a rate constant, k.
由于本实验遵循一阶动力学，分率，[H2O2]/s，由原来的溶液浓度为每个审判，[H2O2]0，产生速率常数，k。The elimination of micro-organisms by boiling follows first-order kinetics- at high temperatures, it is achieved in less time and at lower temperatures, in more time.
通过煮沸来消除微生物，遵循一级动力学-在高温下，它可以在更短的时间内和更低的温度下在更长的时间内实现。This is because Henkin semantics are almost identical to many-sorted first-order semantics, where additional sorts of variables are added to simulate the new variables of second-order logic.
这是因为Henkin语义几乎等同于多种类一阶语义，它通过增加额外的变量种类来模拟二阶逻辑的新变量。A{\displaystyle A} and B{\displaystyle B} denote formulae of first-order predicate logic(one may also restrict this to propositional logic).
A{\displaystyleA}和B{\displaystyleB}指示一阶谓词逻辑的公式（你也可以把它限制为命题逻辑），.When small doses(less than 250 mg in an adult) are ingested, all pathways proceed by first-order kinetics, with an elimination half-life of about 2.0 h to 4.5 h.
当摄入低剂量时（小于250mg，成人），所有途径都通过一级动力学，消除半衰期约为2.0至4.5小时。By adding one reactive element to a filter- e.g., by going from first-order to second-order or second-order to third-order- we increase the maximum roll-off by 20 dB/decade.
通过向滤波器添加一个电抗元件，例如，从一阶到二阶或二阶到三阶，最大斜率就会增加20dB/十倍。He is the author of The Nature of True Minds(1992) and First-Order Logic: A Concise Introduction(1994).
他是代表作品主要有：《真实心灵的本质》（TheNatureofTrueMinds,1992）和《一阶逻辑概论》（First-OrderLogic:AConciseIntroduction,1994）。A first-order filter's response rolls off at- 6 dB per octave(- 20 dB per decade)(all first-order lowpass filters have the same normalized frequency response).
一阶巴特沃斯滤波器的衰减率为每倍频6dB，每十倍频20dB（所有一阶低通滤波器具有相同的归一化频率响应）。In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic.
在数理逻辑中，谓词逻辑（Predicatelogic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。This facilitation only affects a first-order task(judging the direction of motion), not a second-order metacognitive judgement(rating the confidence in the first response).
这种促进只影响一个一级任务（判断运动的方向），而不是二级元认知判断（评估第一个反应的信心）。Then its first-order partial derivatives∂ f/∂ x i{\displaystyle\partial f/\partial x_{i}} are homogeneous of degree k- 1.
则它的一阶偏导数∂f/∂xi{\displaystyle\partialf/\partialx_{i}}是k-1{\displaystylek-1\qquad}阶齐次函数。
