Theorem、Proposition、Lemma和Corollary等的解释与区别
来源:互联网 发布:matlab 稀疏矩阵转换 编辑:程序博客网 时间:2024/05/18 21:10
Theorem:定理。是文章中重要的数学化的论述,一般有严格的数学证明。
Proposition:可以翻译为命题,经过证明且interesting,但没有Theorem重要,比较常用。
Lemma:一种比较小的定理,通常lemma的提出是为了来逐步辅助证明Theorem,有时候可以将Theorem拆分成多个小的Lemma来逐步证明,以使得证明的思路更加清晰。很少情况下Lemma会以其自身的形式存在。
Corollary:推论,由Theorem推出来的结论,通常我们会直接说this is a corollary of Theorem A。
Property:性质,结果值得一记,但是没有Theorem深刻。
Claim:陈述,先论述然后会在后面进行论证,可以看作非正式的lemma。
Note:就是注解。
Remark:涉及到一些结论,相对而言,Note像是说明,而Remark则是非正式的定理。
Conjecture:猜测。一个未经证明的论述,但是被认为是真。
Axiom/Postulate:公理。不需要证明的论述,是所有其他Theorem的基础。
阅读全文
0 0
- Theorem、Proposition、Lemma和Corollary等的解释与区别
- 区分定理(Theorem)、引理(Lemma)、推论(Corollary)等概念
- 区分定理(Theorem)、引理(Lemma)、推论(Corollary)等概念
- Differences between Theorem, Lemma and Corollary, etc.
- 论文中的定理(Theorem)、引理(Lemma)、推论(Corollary)
- What is the difference between a theorem, a lemma, and a corollary?
- 编译执行和解释执行等的区别
- Proposition
- p、*p和&p的区别与解释
- hibernate3和hibernate4的实现与区别,求解释
- 解释器和编译器的区别与联系
- 编译器和解释器的区别与联系
- VC、PE和天使投资的解释与区别?
- 解释器和编译器的区别与联系
- 解释与编译的区别
- 编译与解释的区别
- 和等的区别
- 解释和编译的区别
- 606. Construct String from Binary Tree 二叉树的字符串描述
- MFC 绘制界面 控件以及屏幕闪烁的问题
- 新网站百度不收录?老司机教你三个套路
- java学习笔记之对象清除、垃圾收集
- hibernate和mybatis的对比分析以及技术选型
- Theorem、Proposition、Lemma和Corollary等的解释与区别
- JAVA基础之HashMap实现原理及源码分析
- Python安装Osmnx包时遇到的若干问题
- Prism V2之旅(2)
- 一道Javascript面试题引发的血案
- 领域驱动设计系列(2)浅析VO、DTO、DO、PO的概念、区别和用处(转载)
- JDK&AS安装
- What is "computing,计算机发展史
- 572. Subtree of Another Tree 子树的判定