theorem oor Sjinees
theorem
en
(mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions . Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas
Vertalings in die woordeboek Engels - Sjinees
定理
zh
proved mathematical statement
And you can stitch all sorts of mathematical theorems onto these surfaces.
你可以把各种各样的数学定理 都缝在这些上面。
原理
法則
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Prenteboek
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
The real analytic theorem was first treated by Nash in 1966; his argument was simplified considerably by Greene & Jacobowitz (1971).
我 多麼 不想 看見 你 這樣LASER-wikipedia2 LASER-wikipedia2
Fortune showed in 1979 that if any sparse language is co-NP-complete, then P = NP; Mahaney used this to show in 1982 that if any sparse language is NP-complete, then P = NP (this is Mahaney's theorem).
你 要 立即 搬出 我? 们 的 房子LASER-wikipedia2 LASER-wikipedia2
This definition is elegant and easy to work with abstractly (such as when proving theorems about properties of trees), as it expresses a tree in simple terms: a list of one type, and a pair of two types.
對, 對, 把 他 貼在 老大 的 邊上LASER-wikipedia2 LASER-wikipedia2
The theorems are linked to each other in a directed manner by inference rules, forming a sort of dendritic network.
我 在 想 既然 你 做 的?? 这 么 好吃 , 我 是不是 得 惹? 点 麻? 烦 , 然后 你 不得不 工作 。LASER-wikipedia2 LASER-wikipedia2
Requests the Secretary-General to review the experience of the utilization of the contingency fund and to report theorem to the General Assembly at its sixty-second session
下午 我???? 时 你 就 知道 他 活著MultiUn MultiUn
This deduction theorem (DT) is not itself formulated with propositional calculus: it is not a theorem of propositional calculus, but a theorem about propositional calculus.
? 这 就是 他的 故事?? 记 得 当你还是小孩儿 曾屏着呼吸走过墓地的时候吗? 你? 是 小孩 儿 曾 屏? 呼吸 走? 墓地 的? 候??LASER-wikipedia2 LASER-wikipedia2
Ernst Zermelo introduced the axiom of choice as an "unobjectionable logical principle" to prove the well-ordering theorem.
白天? 结 束 了 ,? 没 有? 飞 机 的? 迹 象 。LASER-wikipedia2 LASER-wikipedia2
Quantum indeterminacy means that these states cannot in general be measured without disturbing the original state (see No cloning theorem).
你 准 备怎么下手呢? 怎 么 下手 呢?LASER-wikipedia2 LASER-wikipedia2
This theorem is due to Riesz (1928, VII); see also Titchmarsh (1948, Theorem 101).
更新新闻源 “ % #” 时发生错误 。LASER-wikipedia2 LASER-wikipedia2
Likewise, given an axiomatization of c that is analogous to C5-7, i may be defined in terms of c, and C5-7 become theorems.
我們 已經 想...... 回 机 場 去了 。WikiMatrix WikiMatrix
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).
正在用新文件名保存文件LASER-wikipedia2 LASER-wikipedia2
However, it is the content of the Remak-Krull-Schmidt theorem that given a finite group G = ∑Ai = ∑Bj, where each Ai and each Bj is non-trivial and indecomposable, the two sums have equal terms up to reordering and isomorphism.
示威 群眾 和 鎮暴 警察 發生 激烈 衝 突WikiMatrix WikiMatrix
This is to avoid mistaken "theorems", based on fallible intuitions, of which many instances have occurred in the history of the subject.
我 會 給 你別 的 射擊 目標WikiMatrix WikiMatrix
Their general formulation depends on splitting the theorem into two parts.
那 么 ,? 会 有 很多? 灯 泡 要? 换 的LASER-wikipedia2 LASER-wikipedia2
In 2007, he proved the differentiable sphere theorem (in collaboration with Richard Schoen), a fundamental problem in global differential geometry.
他?? 谈 及?? 卖 的 事我?? 从 向? 马 套取? 资 料WikiMatrix WikiMatrix
The theorem was first published in 1927 by Stefan Banach and Hugo Steinhaus but it was also proven independently by Hans Hahn.
那 个有漂亮身材的家伙是谁? 有 漂亮 身材 的 家伙 是??- 有 六? 块 肌 的 那 一? 个WikiMatrix WikiMatrix
Supposing that they have the same kinetic energy on average (for the equipartition theorem), electrons have a mass roughly 1800 times smaller than protons, therefore they acquire more velocity.
澳洲 、 新 几?? 亚 、 所?? 门 群? 岛LASER-wikipedia2 LASER-wikipedia2
Therefore, the definition of a theorem in system L is: a theorem is a sequent that can be proved in system L, using an empty set of assumptions.
? 协 同 第 # 排 , 我? 们 赶 去 支援WikiMatrix WikiMatrix
Correspondence is also used to show incompleteness of modal logics: suppose L1 ⊆ L2 are normal modal logics that correspond to the same class of frames, but L1 does not prove all theorems of L2.
天哪, 大?,??? 别进来 , 那家 伙 是? 疯 子WikiMatrix WikiMatrix
Similarly, Bézout's theorem predicts that a line will intersect a conic at two points, but in some cases one or both of the points is infinite and homogeneous coordinates must be used to locate them.
是 用? 红 色?? 带 和 #?? 绿 色 花? 结WikiMatrix WikiMatrix
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.
是的 還有... 在 醫院 裏 照顧 我 鼓勵 我WikiMatrix WikiMatrix
In 2005, the authors of the Boyer-Moore family of provers, which includes ACL2, received the ACM Software System Award "for pioneering and engineering a most effective theorem prover (...) as a formal methods tool for verifying safety-critical hardware and software."
你 覺得 他們 可以 出來 嗎?LASER-wikipedia2 LASER-wikipedia2
In 1931 he proved de Rham's theorem, identifying the de Rham cohomology groups as topological invariants.
好了 ,?? 谢 你 , 文?? 长? 请 留 一?? 卫 兵LASER-wikipedia2 LASER-wikipedia2
Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.
但是? 记 住了? 卖 肉 第一 , 足球 第二LASER-wikipedia2 LASER-wikipedia2
Another important milestone was the work of Hilbert's student Emanuel Lasker, who introduced primary ideals and proved the first version of the Lasker–Noether theorem.
好象 對 他 來說 我 什 么 也 不是 我 只 是 個 這 工作 人員 而已LASER-wikipedia2 LASER-wikipedia2
202 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.