代数 oor Engels

代数

Vertalings in die woordeboek Sjinees - Engels

algebra

naamwoord plural

system for computation

去年 的 代数 课上 她 就 坐在 我 后面 两排
She sat two rows behind me in algebra last year.

voorbeelde

反过来,斯科特域在一定意义上"几乎"就是代数格。
Consequently, Scott domains are in a sense "almost" algebraic lattices.

今晚 我们 " 补习 代数 " 罗斯福 酒店 9 点钟
We're studying algebra tonight, Roosevelt Hotel, 9:00.

起先时代的特色是使用组合拓扑(今日代数拓扑的先驱)。
The future tense is distinguished from the present tense by the use of prefixes.)

广义范畴论随后产生,且更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数,现在被运用到数学的所有分支。
General category theory, an extension of universal algebra having many new features allowing for semantic flexibility and higher-order logic, came later; it is now applied throughout mathematics.

将问题重新表述成多重线性代数术语是有好处的,这里有清楚的和良定义的“最好解”:解的限制恰好是你事实上所需要的。
Its benefit is that by re-expressing problems in terms of multilinear algebra, there is a clear and well-defined 'best solution': the constraints the solution exerts are exactly those you need in practice.

事实上因为R是带有乘法的所有正实数的李群的李代数,实数参数的常规指数函数是李代数下的特殊情况。
In fact, since R is the Lie algebra of the Lie group of all positive real numbers under multiplication, the ordinary exponential function for real arguments is a special case of the Lie algebra situation.

挪威人尼尔斯·阿贝尔和法国人埃瓦里斯特·伽罗瓦证明了高于四次的多项式方程不存在通行的代数解法,也就是阿贝尔-鲁菲尼定理。
Niels Henrik Abel, a Norwegian, and Évariste Galois, a Frenchman, proved that there is no general algebraic method for solving polynomial equations of degree greater than four (Abel–Ruffini theorem).

然而,这些运算 在 SQL 中相当重要,因此在现代关系代数中都包含它们。
However, these operations are so important in SQL, that modern treatments of relational algebra include them. 2.3.

一年后,州政府数据显示 我们学生的代数成绩上升了171%, 文学成绩上升了107%。
After one year, state data revealed that our scores have grown by 171 percent in Algebra and 107 percent in literature.

然后格拉斯曼证明一旦几何被置入他所鼓吹的代数形式中,三就不再是空间维数的有特殊地位的数字;可能成为维数的数字是无限的。
Grassmann then showed that once geometry is put into the algebraic form he advocated, the number three has no privileged role as the number of spatial dimensions; the number of possible dimensions is in fact unbounded.

你若研究数学达到成为代数或微积分专家的地步,你会恢复用手指和脚指计数吗?——可参阅彼得后书2:20-22。
If you had studied mathematics to the point of being an expert in algebra or calculus, would you revert to counting on your fingers and toes? —Compare 2 Peter 2:20-22.

因为任何布尔代数都是分配格,这证实了想要的蕴涵。
Since any Boolean algebra is a distributive lattice, this shows the desired implication.

为此,回想下列定理: 对于布尔代数B的任何理想I,下列是等价的: I是素理想。
For this purpose, recall the following theorem: For any ideal I of a Boolean algebra B, the following are equivalent: I is a prime ideal.

典范 Kripke 模型扮演的角色类似于在代数语义中的 Lindenbaum–Tarski代数构造。
Canonical Kripke models play a role similar to the Lindenbaum–Tarski algebra construction in algebraic semantics.

换言之,z是一个不定变量,这使得我们可以在射流上施行各种代数操作。
In other words, z is an indeterminate variable allowing one to perform various algebraic operations among the jets.

尽管关系代数对于大多数用途都足够强大了,有一些在关系上的简单而自然的运算不能用关系代数表达。
Although relational algebra seems powerful enough for most practical purposes, there are some simple and natural operators on relations that cannot be expressed by relational algebra.

在Agda中定义数据类型的形式与在其它非依赖类型的编程语言中定义代数数据类型相似。
The main way of defining data types in Agda is via inductive data types which are similar to algebraic data types in non-dependently typed programming languages.

这些思想后来为许多人所发展,都成为同调代数里重要的工具。
Later it was made available to customers and this method became an important tool for many organizations.

他在1887年发现了例外李代数 g2;他的根系分类指出了所有例外情形,但实例到后来才发现。
He discovered the exceptional Lie algebra g2 in 1887; his root system classification showed up all the exceptional cases, but concrete constructions came later.

如果底域 k 任意且将 GL(V) 视为一个代数群,则这种构造说明格拉斯曼是一个非奇异代数簇。
If the ground field k is arbitrary and GL(V) is considered as an algebraic group, then this construction shows that the Grassmannian is a non-singular algebraic variety.

明天 有 代数 考试 爸爸
Got an algebra test tomorrow, dad.

有一个学期,我被安排 代上了一节代数2的课。
One semester, I was asked to sub for this Algebra 2 class.

代数群的伽罗瓦上同调理论,引入了一些更深入的观点。
In the theory of Galois cohomology of algebraic groups, some further points of view are introduced.

这篇论文牢固地在代数拓扑学中建立了谱序列的使用,并将纤维丛与纤维化的概念从层中清晰地分离出来(这两个概念在早期让·勒雷的处理中是不清晰的)。
This thesis firmly established in algebraic topology the use of spectral sequences, and clearly separated the notions of fiber bundles and fibrations from the notion of sheaf (both concepts together having been implicit in the pioneer treatment of Jean Leray).

Codd提议这样一种代数作为数据库查询语言的基础。
Codd proposed such an algebra as a basis for database query languages.