mathematical theorem
математична теорема
proven theorem
доведена теорема
theorem statement
формулювання теореми
fixed point theorem
теорема про фіксовану точку
existence theorem
теорема існування
mean value theorem
теорема середнього значення
comparison theorem
теорема порівняння
sampling theorem
теорема вибірки
central limit theorem
теорема центральної межі
remainder theorem
теорема залишку
coase theorem
теорема Козса
chinese remainder theorem
китайська теорема залишків
uniqueness theorem
теорема унікальності
pythagorean theorem
теорема Піфагора
reciprocity theorem
теорема взаємності
theorem proving
доведення теорем
gauss theorem
теорема Гауса
duality theorem
теорема дуальності
approximation theorem
теорема апроксимації
separation theorem
теорема розділення
binomial theorem
біноміальна теорема
intermediate value theorem
теорема проміжного значення
I agree with the theorem that the best defence is offence.
Я погоджуюсь з теоремою, що найкращою обороною є напад.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Щоб встановити теорему Кантора, необхідно показати, що f обов'язково не є сюр'єктивною.
His theorem can be translated into simple terms.
Його теорему можна перевести на прості терміни.
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.
У цій статті буде наведена теорема жорсткості гіперповерхні у формі реального простору. Крім того, ми отримуємо теореми жорсткості підманіфолда у сфері, які покращують результати Хоу і Сюй.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Вводиться бітонічний алгоритм, і доводиться теорема. Наведено алгоритм бітонічного злиття-сортування.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Крім того, у статті пропонуються теореми про судження рішень, розрізнення рішень, відкидання надлишкових рішень та принцип викопування дірок в універсумі факторів рішень X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Ця стаття представляє теорему кодування джерела для стаціонарних гауссових джерел дискретного часу з абсолютно сумісною автокореляційною послідовністю.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
У цій статті, використовуючи верхні та нижні розв'язки, доводиться теорема про існування майже періодичних розв'язків для інтегродиференційних систем.
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.
Досліджуються неосциляційні властивості різницевих рівнянь другого порядку з напівлінійною затримкою. Отримано теорему порівняння та достатню умову для неосциляції.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Встановлено нову теорему мінімаксної нерівності, яка буде використана для вивчення проблем існування розв'язків для квазіваріаційних нерівностей на паракомпактних множинах.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
На основі деяких базових теорем у теорії чисел ця програма використовує ймовірнісний алгоритм для перевірки великого числа на простоту.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Цей підхід використовує індекс дерева та теорему про регіон порядку листя для оцінки напівгнучких запитів в онтологічному дереві.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
У цій статті розроблено деякі загальні теореми та варіаційні принципи задачі крайових значень для двох моментів часу в нелінійній еластодинаміці.
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.
Ця стаття узагальнює деякі властивості коалгебри на π-коалгебру, визначену Алексісом Вірелізьє. Основний результат статті узагальнює фундаментальну теорему ізоморфізму на π-коалгебру.
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.
Доказуючи властивості деміпродовжних функцій та рядів з функціональними членами, використовуються методи теореми скінченного покриття та її застосування в доведенні проблем.
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.
Ця стаття представляє та доводить теорему дискримінанта, яка підходить для перевірки визначеності дискретної лінійної системи, що показує, що видатна проблема цієї області була вирішена.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Як застосування, наведено деякі теореми про невиникнення нестабільних гармонійних відображень з маніфольда Фінслера до ріманових маніфольдів.
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.
У практичних застосуваннях сильно ненормальних матриць ці теореми можуть бути більш корисними, ніж їх узагальнені випадки власних значень, і можуть надати більше описової інформації.
Досліджуйте найпопулярніші пошукові слова
Бажаєте вивчати лексику ефективніше? Завантажте додаток DictoGo та насолоджуйтеся додатковими функціями запам'ятовування та повторення слів!
Завантажте DictoGo просто зараз