inglese » arabo

theorem <a theorem; theorems> SOST

theorem MAT
theorem MAT
theorem MAT
theorem FILOS
theorem INFORM
theorem FILOS

theorem

binomial theorem MAT

existence theorem MAT

reciprocal theorem EDIL

reciprocity theorem ELETTR

angle-sum theorem GEOM

Bernoulli’s Theorem INDUSTR

central limit theorem ECON

converse of a theorem MAT

electro-acoustical reciprocity theorem FIS

Esempi monolingue (non verificati dalla Redazione di PONS)

inglese
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

Pagina in Deutsch | English | Español | Français | Italiano | Polski