mathematical theorem
matemaattinen teoreema
proven theorem
todistettu teoreema
theorem statement
teoreeman muotoilu
fixed point theorem
kiinteän pisteen lause
existence theorem
olemassaolotodistus
mean value theorem
keskimääräisen arvon teoreema
comparison theorem
vertailulause
sampling theorem
näytteenotto teoreema
central limit theorem
keskusrajalause
remainder theorem
jakojäännöslause
coase theorem
Coasen teoreema
chinese remainder theorem
kiinalainen jakojäännöslause
uniqueness theorem
yksilöllisyyslause
pythagorean theorem
Pythagoraan lause
reciprocity theorem
kämmenlaitteistoteoreema
theorem proving
teoreemien todistaminen
gauss theorem
Gaussin laki
duality theorem
dualiteetti -oppi
approximation theorem
approksimaatioteoreema
separation theorem
erotuslause
binomial theorem
binomilause
intermediate value theorem
väliarvolause
I agree with the theorem that the best defence is offence.
Olen samaa mieltä teoreeman kanssa, jonka mukaan paras puolustus on hyökkäys.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Cantorin teoreeman todistamiseksi on osoitettava, että f ei ole välttämättä surjektiivinen.
His theorem can be translated into simple terms.
Hänen teoriansa voidaan kääntää yksinkertaisiin termejin.
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.
Tässä artikkelissa esitetään hypersurface-jäykkyys teoreema reaalitilamuodossa. Lisäksi saamme alimannerin jäykkyys teoreemoita pallossa, jotka parantavat Hou'n ja Xu'n tuloksia.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitoni esitellään ja lause todistetaan. Bitonisen merge-sort -algoritmi esitetään.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Lisäksi artikkeli ehdottaa päätöksenteon arviointiteoreemaa, päätöksenteon erotteluteoreemaa, päätöksenteon ylijäämän hylkäämistä koskevaa teoreemaa ja päätöksentekijöiden universumin X reikien kaivamisen periaatetta.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Tämä artikkeli esittelee lähdekoodauslauseen diskreetti-aikaisille stationäärisille Gaussilähteille, joilla on absoluuttisesti summattava autokorrelaatiosekvenssi.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Tässä artikkelissa, jossa käytetään ylä- ja alaratkaisuja, todistetaan lähesperiodisten ratkaisujen olemassaoloväite integrodifferenssijärjestelmille.
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.
Tutkitaan toisen kertaluvun puoliksimpiinien viive-erotusdifferentiaaliyhtälöiden ei-värähtelyominaisuuksia. Saadaan vertailuväite ja riittävä ehto ei-värähtelylle.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Uusi minimax-epäyhtälöteoreema on kehitetty, jota käytetään tutkimaan ratkaisujen olemassaolo-ongelmia lähes-vaihteluperäyhtälöille paracompacteilla joukoilla.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Tämän ohjelman perusta perustuu joihinkin lukuteorian peruslauseisiin, ja se hyödyntää todennäköisyysalgoritmia suuren luvun alkulukutestaukseen.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Tässä lähestymistavassa käytetään puuindeksiä ja teoreemaa lehtijärjestysalueesta arvioimaan puolijoustavia kyselyitä ontologiapuun yläpuolella.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
Tässä artikkelissa kehitetään yleisiä teoreemoja ja variaatioperiaatteita kahden hetken reuna-arvoproblemalle epälineaarisessa elastodynaamisessa.
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.
Tämä artikkeli yleistää joitain coalgebra-ominaisuuksia π-coalgebraan, jonka Alexis Virelizier on määritellyt. Artikkelin pääasiallinen tulos yleistää perusisomorfismin teoreeman π-coalgebraan.
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.
Esittämällä demisovittuvien funktioiden ja funktiotermien sarjojen ominaisuuksia käytetään äärellisen himoitsemisen teoreeman menetelmiä ja niiden soveltamista ongelmien todistamiseen.
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.
Tämä artikkeli esittelee ja todistaa diskriminoivat teoreeman, joka sopii erillisen lineaarisen järjestelmän määrittävyyden tutkimiseen, mikä osoittaa, että tämän alan keskeinen ongelma on ratkaistu.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Sovelluksena annetaan joitain ei-olemassaoloväitteitä vakioista, vakaille harmonisille kuvauksille Finsler-kollektorista Riemannin kollektoriin.
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.
Erittäin epänormaalien matriisien käytännön sovelluksissa nämä teoreemat voivat olla hyödyllisempiä kuin heidän yleistetyt ominaisarvotapaukset ja voivat antaa enemmän kuvaavaa tietoa.
Tutki usein haettuja sanastoja
Haluatko oppia sanastoa tehokkaammin? Lataa DictoGo-sovellus ja nauti uusista sanaston opetus- ja kertausominaisuuksista!
Lataa DictoGo nyt