| 单词 | theorem |
| 释义 | theorem noun[C] mathematicsspecializeduk/ˈθɪə.rəm/us/ˈθiː.rəm/(especiallyinmathematics) aformalstatementthat can beshownto betruebylogic: （尤指数学中的）定理amathematicaltheorem数学定理 Calculations & calculating
theorem| American Dictionarytheorem noun[C] us/ˈθɪər·əm/mathematics astatementthat can beshownto betrue Examplesoftheoremtheorem In this paper we prove the followingtheorem. From theCambridge English Corpus He develops a constructive framework for proving equalities about programs, and shows how to derive the free theorems in a purely syntactic way. From theCambridge English Corpus These results can be applied to the type retractions problem as the problem can be reduced to the higher-order matching problem using the followingtheorem. From theCambridge English Corpus We state thetheoremonly for the simple random walk, although it was originally stated for more general (strongly reversible) walks. From theCambridge English Corpus Before stating the maintheorem, we define the pseudogeodesics and give their symbolic encoding. From theCambridge English Corpus The purpose is to prove a distributional limittheoremfor the number of visits to neighbourhoods of these points. From theCambridge English Corpus The nexttheorem(proved in the appendix) makes this statement more precise. From theCambridge English Corpus Below we introduce the precise setup and present our main results in a series of theorems. From theCambridge English Corpus More precisely, we will prove the followingtheorem. From theCambridge English Corpus When mistakes are discovered in proofs, the theorems themselves are usually not refuted. From theCambridge English Corpus Theorem4.1 can be proven using a standard logical relations argument, but the proof is beyond the scope of this article. From theCambridge English Corpus Theorem4.4 provides 'universal' sufficient conditions for possibly unbounded variables. From theCambridge English Corpus Now we are ready to show the followingtheorem. From theCambridge English Corpus Now we are ready to prove the maintheoremof this paper. From theCambridge English Corpus We are now ready to state and prove our maintheorem. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉双解词典包含207842条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。