angielsko » arabski

theorem <a theorem; theorems> RZ.

theorem MAT.
theorem MAT.
theorem MAT.
theorem FIL.
theorem INF.
theorem FIL.

theorem

binomial theorem MAT.

existence theorem MAT.

reciprocal theorem BUD.

reciprocity theorem ELEKTROT.

angle-sum theorem GEOM.

Bernoulli’s Theorem PRZEM.

central limit theorem GOSP.

converse of a theorem MAT.

electro-acoustical reciprocity theorem FIZ.

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

angielski
Natural deduction systems are more suited to practical theorem-proving.
en.wikipedia.org
The obvious corollary from this theorem is that the best among regular estimators are those with the second component identically equal to zero.
en.wikipedia.org
He is also credited with the use of fat symbols for matrices, making easy the derivation of several theorems of quantum mechanics.
en.wikipedia.org
He came up with essentially the same solution as given in below, and thus attached his name to the theorem.
en.wikipedia.org
We claim that without loss of generality, the latter inequality is always strict; once we do this the theorem can be proved as follows.
en.wikipedia.org
From 1996, the scope broadened to cover all theorem proving in higher-order logics.
en.wikipedia.org
There are many versions of this theorem corresponding to the different ways of decomposing "f".
en.wikipedia.org
For details on that part see structured program theorem.
en.wikipedia.org
For instance, it is used to prove the fundamental theorem of symmetric 2-designs, that the number of blocks equals the number of points.
en.wikipedia.org
A closely related, the finiteness theorem states that the tale cohomology groups of a constructible sheaf on a complete variety are finite.
en.wikipedia.org

Interfejs: Deutsch | English | Español | Français | Italiano | Polski