mathematical theorem
twierdzenie matematyczne
proven theorem
udowodnione twierdzenie
theorem statement
sformułowanie twierdzenia
fixed point theorem
twierdzenie o punkcie stałym
existence theorem
twierdzenie o istnieniu
mean value theorem
twierdzenie o wartości średniej
comparison theorem
twierdzenie porównawcze
sampling theorem
twierdzenie o próbkowaniu
central limit theorem
centralne twierdzenie graniczne
remainder theorem
twierdzenie o reszcie
coase theorem
twierdzenie Coase'a
chinese remainder theorem
chińskie twierdzenie o resztach
uniqueness theorem
twierdzenie o jednoznaczności
pythagorean theorem
twierdzenie Pitagorasa
reciprocity theorem
twierdzenie o wzajemności
theorem proving
udowadnianie twierdzeń
gauss theorem
twierdzenie Gaussa
duality theorem
twierdzenie dualności
approximation theorem
twierdzenie aproksymacyjne
separation theorem
twierdzenie o rozdzieleniu
binomial theorem
twierdzenie dwumianowe
intermediate value theorem
twierdzenie o wartości pośredniej
I agree with the theorem that the best defence is offence.
Zgadzam się z twierdzeniem, że najlepszą obroną jest atak.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Aby udowodnić twierdzenie Cantora, należy wykazać, że f nie jest koniecznie surjekcją.
His theorem can be translated into simple terms.
Jego twierdzenie można przełożyć na proste warunki.
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.
W tym artykule przedstawiono twierdzenie o sztywności podpowierzchni w przestrzeni rzeczywistej. Ponadto uzyskujemy twierdzenia o sztywności podróbki w sferze, które poprawiają wynik Hou i Xu.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Wprowadzono bitoniczny algorytm i udowodniono twierdzenie. Podano algorytm bitonicznego scalania.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Ponadto praca ta przedstawia twierdzenie o ocenie decyzji, twierdzenie o rozróżnianiu decyzji, twierdzenie o odrzucaniu nadmiaru decyzji i zasadę kopania dziur na uniwersum czynników decyzyjnych X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
W artykule przedstawiono twierdzenie o kodowaniu źródła dla stacjonarnych, gaussowskich źródeł o dyskretnym czasie z sekwencją autokorelacji o absolutnie sumowalnej wartości.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
W niniejszym artykule, przy użyciu górnych i dolnych rozwiązań, udowadnia się twierdzenie o istnieniu prawie okresowych rozwiązań dla układów całko-różniczkowych.
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.
Badano właściwości nieoscylacyjne równań różnicowych opóźnionych drugiego rzędu półliniowych. Otrzymano twierdzenie porównawcze i warunek wystarczający dla nieoscylacji.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Udowodniono nowe twierdzenie minimax nierównościowe, które zostanie wykorzystane do badania problemów istnienia rozwiązań dla quasi-równości wariacyjnych na zbiorach paracompact.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Bazując na niektórych podstawowych twierdzeniach teorii liczb, ten program wykorzystuje algorytm probabilistyczny do testowania dużej liczby pod kątem pierwszości.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
To podejście wykorzystuje indeks drzewa i twierdzenie o regionie kolejności liści do oceny zapytań półsztywnych nad drzewem ontologii.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
W niniejszym artykule opracowano ogólne twierdzenia i zasady wariacyjne problemu brzegowego dla dwóch chwil czasu w nieliniowej elastodynamice.
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.
Niniejszy artykuł uogólnia niektóre właściwości coalgebra do π-coalgebra, które są zdefiniowane przez Alexisa Vireliziera. Głównym wynikiem artykułu jest uogólnienie twierdzenia o fundamentalnym izomorfizmie do π-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.
Przez udowodnienie właściwości funkcji półciągłych i szeregów z funkcjami, wprowadzono metody twierdzenia o skończonym pożądaniu i jego zastosowanie w rozwiązywaniu problemów.
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.
W tym artykule przedstawiono i udowodniono twierdzenie dyskryminujące, które nadaje się do zbadania określoności liniowego układu dyskretnego, co pokazuje, że rozwiązano istotny problem w tej dziedzinie.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Jako zastosowanie podano niektóre twierdzenia o nieistnieniu nie stałych stabilnych map harmonicznych z rozmaitością Finstlera do rozmaitości riemannowskiej.
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.
W praktycznych zastosowaniach wysoce nienormalnych macierzy, te twierdzenia mogą być bardziej przydatne niż ich szczególne przypadki z własnymi wartościami i mogą dostarczyć więcej opisowych informacji.
Odkryj najczęściej wyszukiwane słownictwo
Chcesz uczyć się słownictwa efektywniej? Pobierz aplikację DictoGo i korzystaj z dodatkowych funkcji nauki oraz powtórek słownictwa!
Pobierz DictoGo teraz