mathematical theorem
định lý toán học
proven theorem
định lý đã chứng minh
theorem statement
phát biểu định lý
fixed point theorem
định lý điểm cố định
existence theorem
định lý tồn tại
mean value theorem
định lý giá trị trung bình
comparison theorem
định lý so sánh
sampling theorem
định lý lấy mẫu
central limit theorem
định lý giới hạn trung tâm
remainder theorem
định lý dư
coase theorem
định lý Coase
chinese remainder theorem
định lý dư Trung Quốc
uniqueness theorem
định lý tính duy nhất
pythagorean theorem
định lý Pytago
reciprocity theorem
định lý đối xứng
theorem proving
chứng minh định lý
gauss theorem
định lý Gauss
duality theorem
định lý lưỡng tính
approximation theorem
định lý xấp xỉ
separation theorem
định lý tách biệt
binomial theorem
định lý nhị thức
intermediate value theorem
định lý giá trị trung gian
I agree with the theorem that the best defence is offence.
Tôi đồng ý với định lý rằng phòng thủ tốt nhất là tấn công.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Để chứng minh định lý Cantor, cần phải chứng minh rằng f chắc chắn không phải là một phép biến đổi toàn ánh.
His theorem can be translated into simple terms.
Định lý của anh ấy có thể được dịch ra thành những điều khoản đơn giản.
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.
Trong bài báo này, một định lý cứng của siêu mặt trong dạng không gian thực sẽ được đưa ra. Ngoài ra, chúng tôi thu được các định lý cứng của đa tạp con trong hình cầu cải thiện kết quả của Hou và Xu.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonic được giới thiệu và một định lý được chứng minh. Thuật toán bitonic merge-sort được đưa ra.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Ngoài ra, bài báo đề xuất định lý phán quyết quyết định, định lý phân biệt quyết định, định lý loại bỏ thừa của quyết định và nguyên tắc đào hố trên vũ trụ các yếu tố quyết định X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Bài báo này trình bày định lý mã hóa nguồn cho các nguồn Gaussian dừng rời rạc với dãy tự tương quan tuyệt đối khả tích.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Bài báo hiện tại sử dụng các nghiệm trên và dưới chứng minh định lý tồn tại của các nghiệm gần tuần hoàn cho các hệ thống vi phân tích phân.
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.
Nghiên cứu các tính chất không dao động của các phương trình sai phân trễ bậc hai bán tuyến tính. Điều kiện đủ và định lý so sánh cho sự không dao động được thu được.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
định lý bất đẳng thức minimax mới được thiết lập, sẽ được sử dụng để nghiên cứu các vấn đề về sự tồn tại của các nghiệm cho các bất đẳng thức vi phân quasi trên các tập hợp paracompact.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Dựa trên một số định lý cơ bản trong lý thuyết số, chương trình này tận dụng thuật toán xác suất để kiểm tra một số lớn tính nguyên tố.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Phương pháp này sử dụng chỉ mục cây và định lý về vùng thứ tự lá để đánh giá các truy vấn bán linh hoạt trên cây tri thức.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
Trong bài báo này, một số định lý và nguyên tắc biến phân chung của bài toán giá trị biên cho hai thời điểm trong đàn hồi tính phi tuyến được phát triển.
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.
Bài báo này tổng quát hóa một số tính chất của đại số coalgebra thành π-đại số coalgebra, được định nghĩa bởi Alexis Virelizier. Kết quả chính trong bài báo tổng quát hóa định lý đẳng cấu cơ bản thành π-đại số 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.
Bằng cách chứng minh các tính chất của hàm bán liên tục và chuỗi với các số hạng hàm, phương pháp của định lý coveting hữu hạn và ứng dụng của nó trong việc giải quyết các vấn đề được giới thiệu.
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.
Bài báo này trình bày và chứng minh một định lý phân biệt phù hợp để kiểm tra tính xác định của hệ thống tuyến tính rời rạc, cho thấy một vấn đề quan trọng của lĩnh vực này đã được giải quyết.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Là một ứng dụng, một số định lý không tồn tại của các bản đồ điều hòa ổn định không hằng số từ một đa dạng Finsler sang một đa dạng Riemannian được đưa ra.
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.
Trong các ứng dụng thực tế của các ma trận không chuẩn cao, các định lý này có thể hữu ích hơn các trường hợp đặc biệt về giá trị riêng tổng quát và có thể cung cấp thêm thông tin mô tả.
Khám phá những từ vựng được tìm kiếm thường xuyên
Muốn học từ vựng hiệu quả hơn? Tải ngay ứng dụng DictoGo và tận hưởng nhiều tính năng ghi nhớ và ôn tập từ vựng hơn nữa!
Tải DictoGo ngay