What is the translation of " THEOREM " in English?

• THEOREM

Examples of using Theorem in Vietnamese and their translations into English

Bài 5: Chứng minh Theorem 3.
So, let me prove Theorem 3.

( ở bước cuối ta đã dùng divergence theorem).
In the last equality we used the divergence theorem.

Phần 7.2: The Hierarchy Theorem, pp.
Section 7.2: The Hierarchy Theorem, pp.

Godel' s Theorem chẳng có gì là“ Bất toàn” cả.
Godel's Incompleteness theorem suggests nothing of the sort.

Nghĩa của từ: monodromy theorem.
Main article: Monodromy theorem.

Master theorem không thể áp dụng trong trường hợp này.
The master theorem simply doesn't apply in this case.

Định lí Trung Quốc( Chinese Remainder Theorem).
Theorem(Chinese Remainder Theorem).

ZERO THEOREM đã được quay tại Bucharest, Romania, vào cuối năm 2012.
The Zero Theorem was filmed in Bucharest, Romania in late 2012.

Định lý Nhúng( The Sobolev imbedding Theorem).
This is known as the Sobolev trace embedding theorem.

Data Theorem ra mắt giải pháp bảo mật API cho serverless và microservice.
Data Theorem launches API security solution for serverless and microservices.

Sử dụng Lemma 3, ta có thể chứng minh vế phải của Theorem 1.
From the above lemmas, we can show the proof of Theorem 1.

Làm quen với các công thức như Bayes Theorem và nguồn gốc của các mô hình như logistic regression và SVM.
Familiarize yourself with common formulas such as Bayes Theorem and the derivation of popular models such as logistic regression and SVM.

Không có mô hình phân lớp( classifier) nào là tốt nhất theo No Free Lunch Theorem.
No classifier will be the best in all cases due to the No Free Lunch Theorem.

Data Theorem hôm nay đã công bố các giải pháp API tự động mới nhằm giải quyết các mối đe dọa trong các ứng dụng máy chủ và microservice.
Data Theorem just announced that their new automated API solution targets at solving these threats in serverless and microservices applications.

Tuy nhiên, không có mô hình phân lớp( classifier) nào là tốt nhất theo No Free Lunch Theorem.
First of all, there is not a single best algorithm which follows from the informal"no free lunch theorem".

P so với NP được Stephen Cook đưa ra năm 1971 trong bài báo nổi tiếng“ The complexity of theorem proving procedures”, được nhiều người xem là bài toán quan trọng nhất trong ngành khoa học máy tính.
It was introduced in 1971 by Stephen Cook in his seminal paper"The complexity of theorem proving procedures" and is considered by many to be the most important open problem in the field.

Xin lưu ý là melonJS thực hiện phát hiện va chạm bằng cách sử dụng thuật toán Separating Axis Theorem.
Please note that melonJS implements collision detection using the Separating Axis Theorem algorithm.

Andrew Wiles đã cống hiến phần lớn sự nghiệp của ông cho việc chứng minh định lý Fermat cuối cùng( Fermat' s Last Theorem- viết tắt là FLT), bài toán nổi tiếng nhất thế giới.
Andrew Wiles devoted much of his entire career to proving Fermat's Last Theorem, the world's most famous mathematical problem.

Okishio, năm 1961, phát triển một Đinh lý( Định lý Okishio' s theorem) chỉ ra rằng nếu giai cấp tư bản áp dụng các biện pháp cắt giảm chi phí, và nếu lương thực tế không tăng, tỷ suất lợi nhuận phải tăng.
Okishio, in 1961, devised a theorem(Okishio's theorem) showing that if capitalists pursue cost-cutting techniques and if the real wage does not rise, the rate of profit must rise.

Một trong những phần trung tâm của luận cứ này là Định lý khả năng tổng quát( General Possibility Theorem) của Kenneth Arrow.
One of the central parts of this argument concerns Kenneth Arrow's General Possibility Theorem.

Wiles, Đại học Oxford, Anh quốc được trao tặng giải thưởng Abel 2016" for his stunning proof of Fermat' s Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.".
Wiles of the University of Oxford“for his stunning proof of Fermat's Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.”.

P so với NP được Stephen Cook đưa ra năm 1971 trong bài báo nổi tiếng“ The complexity of theorem proving procedures”.
In 1971 by Stephen Cook, introduced this problem in his seminar paper"The complexity of theorem proving procedures".

Sir Andrew J. Wiles, Đại học Oxford, Anh quốc được trao tặng giải thưởng Abel 2016" for his stunning proof of Fermat' s Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.".
Andrew Wiles has been awarded the 2016 Abel Prize"for his stunning proof of Fermat's Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.".

P so với NP được Stephen Cook đưa ra năm 1971 trong bài báo nổi tiếng“ The complexity of theorem proving procedures”.
The precise formulation of the P versus NP problem was provided only in 1972 when Stephen Cook published the paper“The Complexity of Theorem Proving Procedures.”.

Sir Andrew J. Wiles, Đại học Oxford, Anh quốc được trao tặng giải thưởng Abel 2016" for his stunning proof of Fermat' s Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.".
The Norwegian Academy of Science and Letters awarded the Abel Prize for 2016 to Sir Andrew Wiles for"his stunning proof of Fermat's Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory".

Năm 1979, Barro định nghĩa Ricardian Equivalence Theorem như sau:… sự hoán đổi( shifts) giữa tài trợ bằng nợ và tài trợ bằng thuế cho một khoản chi tiêu chính phủ nsex không có tác động( first- order effect) lên lãi xuất thực tế, khối lượng đầu tư tư nhân( private investment), etc. lưu ý rằng" he Ricardian equivalence proposition được trình bày đầu tiên bởi Ricardo".
In 1979, Barro defined the Ricardian Equivalence Theorem as follows:… shifts between debt and tax finance for a given amount of public expenditure would have no first-order effect on the real interest rate, volume of private investment, etc. noting that"the Ricardian equivalence proposition is presented in Ricardo".

Trên truyền hình, Christie đã đóng vai phụ trong các bộ phim The Imaginarium of Doctor Parnassus( 2009) và The Zero Theorem( 2013) của Terry Gilliam, sản phẩm truyền hình Seven Ages of Britain của BBC và loạt phim truyền hình Wizards and Aliens năm 2012.
On screen, Christie played supporting roles in Terry Gilliam's 2009 and 2013 films"The Imaginarium of Doctor Parnassus" and"The Zero Theorem," the BBC TV production"The Seven Ages of Britain" and the 2012 television series"Wizards vs Aliens.