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.
본 논문에서는 실수 공간 형태에서 하이퍼서페이스의 경직 정리(rigidity theorem)가 제시될 것입니다. 또한, Hou와 Xu의 결과를 개선하는 구면 부분 다양체(submanifold)의 경직 정리를 얻습니다.
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.
2차 반선형 지연 차분 방정식의 비진동 특성이 연구되었습니다. 비진동에 대한 비교 정리 및 충분 조건이 얻어졌습니다.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
새로운 미니맥 부등식 정리(minimax inequality theorem)가 확립되었으며, 이는 준변분 부등식(quasi-variational inequalities)에 대한 해의 존재 문제 연구에 사용될 것입니다.
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를 다운로드하세요