theorem

[Stati Uniti]/'θɪərəm/
[Regno Unito]/'θiərəm/
Frequenza: Molto alto

Traduzione

n. una dichiarazione che può essere dimostrata vera tramite logica o ragionamento, specialmente in matematica; un principio o verità fondamentale.

Frasi & Collocazioni

mathematical theorem

teorema matematico

proven theorem

teorema dimostrato

theorem statement

enunciato del teorema

fixed point theorem

teorema del punto fisso

existence theorem

teorema dell'esistenza

mean value theorem

teorema del valore medio

comparison theorem

teorema di confronto

sampling theorem

teorema del campionamento

central limit theorem

teorema del limite centrale

remainder theorem

teorema del resto

coase theorem

teorema di Coase

chinese remainder theorem

teorema cinese del resto

uniqueness theorem

teorema dell'unicità

pythagorean theorem

teorema di Pitagora

reciprocity theorem

teorema della reciprocità

theorem proving

dimostrazione di teoremi

gauss theorem

teorema di gauss

duality theorem

teorema di dualità

approximation theorem

teorema di approssimazione

separation theorem

teorema della separazione

binomial theorem

teorema binomiale

intermediate value theorem

teorema del valore intermedio

Frasi di Esempio

I agree with the theorem that the best defence is offence.

Sono d'accordo con il teorema che la miglior difesa è l'attacco.

To establish Cantor's theorem it must be shown that f is necessarily not surjective.

Per dimostrare il teorema di Cantor, è necessario dimostrare che f non è necessariamente suriettivo.

His theorem can be translated into simple terms.

Il suo teorema può essere tradotto in termini semplici.

In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.

In questo articolo verrà presentato un teorema di rigidità delle ipersuperfici in forma di spazio reale. Inoltre, otteniamo teoremi di rigidità delle sottomanifolti in sfera che migliorano il risultato di Hou e Xu.

Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.

Viene introdotto Bitonic e viene dimostrato un teorema. Viene fornito l'algoritmo di bitonic merge-sort.

In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .

Inoltre, il documento propone il teorema del giudizio decisionale, il teorema della discernimento decisionale, il teorema dello scarto del surplus decisionale e il principio dello scavo del buco sull'universo dei fattori decisionali X.

This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.

Questo articolo presenta il teorema della codifica della sorgente per sorgenti Gaussiane stazionarie a tempo discreto con sequenza di autocorrelazione assolutamente sommabile.

The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.

Il presente articolo, utilizzando soluzioni superiori e inferiori, dimostra un teorema di esistenza di soluzioni quasiperiodiche per sistemi integrodifferenziali.

The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.

Si studiano le proprietà non oscillanti delle equazioni alle differenze a ritardo di secondo ordine semilineari. Si ottiene il teorema di confronto e la condizione sufficiente per la non oscillazione.

new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.

Viene stabilito un nuovo teorema di disuguaglianza minimax, che sarà utilizzato per studiare i problemi di esistenza di soluzioni per disequazioni variazionali quasi su insiemi paracompatti.

Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.

Basato su alcuni teoremi fondamentali nella teoria dei numeri, questo programma sfrutta un algoritmo probabilistico per testare un gran numero di numeri per la primalità.

This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.

Questo approccio utilizza un indice ad albero e un teorema sulla regione dell'ordine delle foglie per valutare query semiflessibili su un albero di ontologie.

In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.

In questo articolo, vengono sviluppati alcuni teoremi generali e principi variazionali del problema al contorno per due istanti temporali in elastodinamica non lineare.

This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.

Questo articolo generalizza alcune proprietà di coalgebra a π-coalgebra, definita da Alexis Virelizier. Il risultato principale dell'articolo generalizza il teorema di isomorfismo fondamentale a π-coalgebra.

By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.

Dimostrando le proprietà di funzione demicontinua e serie con termini di funzione, vengono introdotti i metodi del teorema di coveting finito e la sua applicazione nella risoluzione di problemi.

This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.

Questo articolo presenta e dimostra un teorema discriminante adatto a esaminare la determinabilità del sistema lineare discreto, il quale dimostra che un problema importante in questo campo è stato risolto.

As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.

Come applicazione, vengono forniti alcuni teoremi di non esistenza di mappe armoniche stabili non costanti da un manifold di Finsler a un manifold Riemanniano.

In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.

Nelle applicazioni pratiche di matrici altamente non normali, questi teoremi possono essere più utili dei loro casi speciali di autovalore generalizzato e possono fornire informazioni più descrittive.

Parole Popolari

Esplora il vocabolario più cercato

Scarica l'app per sbloccare tutti i contenuti

Vuoi imparare il vocabolario in modo più efficiente? Scarica l'app DictoGo e scopri altre funzionalità per memorizzare e ripassare il vocabolario!

Scarica DictoGo ora