| 词汇 | theorem |
| 释义 | theorem noun[ C ] mathematics specializeduk /ˈθɪə.rəm/ us /ˈθiː.rəm/ (especially in mathematics) a formal statement that can be shown to be true by logic: （尤指数学中的）定理 a mathematical theorem数学定理 Calculations & calculating algebraic algebraically algo algorithmic amount calculate integration interpolation inverse function linear equation mathematical matrix miscalculate miscount operator sum sum total tot something up triangulate work something out theorem | American Dictionarytheorem noun[ C ] us/ˈθɪər·əm/ mathematics a statement that can be shown to be true Examples of theoremtheorem In this paper we prove the following theorem. He develops a constructive framework for proving equalities about programs, and shows how to derive the free theorems in a purely syntactic way. These results can be applied to the type retractions problem as the problem can be reduced to the higher-order matching problem using the following theorem. We state the theorem only for the simple random walk, although it was originally stated for more general (strongly reversible) walks. Before stating the main theorem, we define the pseudogeodesics and give their symbolic encoding. The purpose is to prove a distributional limit theorem for the number of visits to neighbourhoods of these points. The next theorem (proved in the appendix) makes this statement more precise. Below we introduce the precise setup and present our main results in a series of theorems. More precisely, we will prove the following theorem. When mistakes are discovered in proofs, the theorems themselves are usually not refuted. Theorem 4.1 can be proven using a standard logical relations argument, but the proof is beyond the scope of this article. Theorem 4.4 provides 'universal' sufficient conditions for possibly unbounded variables. Now we are ready to show the following theorem. Now we are ready to prove the main theorem of this paper. We are now ready to state and prove our main theorem. 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. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。