24小时热门版块排行榜    

Znn3bq.jpeg
查看: 5166  |  回复: 16
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

qd_huqiang

禁虫 (著名写手)

本帖内容被屏蔽

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

» 抢金币啦!回帖就可以得到:

查看全部散金贴

已阅   关注TA 给TA发消息 送TA红花 TA的回帖

userhung

禁虫 (文学泰斗)



qd_huqiang(金币+1): 谢谢参与
定义(definition)、公理(axiom)、定理(theorem)、推论(corollary)、命题(proposition)、引理(lemma)之间的相互关系基本如下。

首先、定义和公理是任何理论的基础,定义解决了概念的范畴,公理使得理论能够被人的理性所接受。

其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸,我认为它们的区别主要在于,定理的理论高度比命题高些,定理主要是描述各定义(范畴)间的逻辑关系,命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品,是该定理的简单应用。

最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
7楼2013-03-31 22:05:27
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 17 个回答

々暧-〃

版主 (文学泰斗)



qd_huqiang(金币+1): 谢谢参与
祝福祝福~~~~~~
12楼2013-03-31 22:44:09
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 286求调剂 +26 Faune 2026-04-06 26/1300 2026-04-12 10:24 by lhj2009
[考研] 复试调剂 +6 asdasdassda 2026-04-05 7/350 2026-04-12 00:26 by 丛麟ll
[考研] 296求调剂 +6 汪!?! 2026-04-09 6/300 2026-04-11 11:25 by zhq0425
[考研] 一志愿华南理工大学331分材料求调剂 +9 天下ww 2026-04-09 9/450 2026-04-10 22:58 by Ftglcn90
[考研] 265求调剂 +12 风说她早忘了 2026-04-10 13/650 2026-04-10 18:56 by chemisry
[考研] 362求调剂 +10 我要考大 2026-04-06 14/700 2026-04-10 17:00 by luoyongfeng
[考研] 初试261 +3 Asht少 2026-04-10 6/300 2026-04-10 16:38 by Asht少
[考研] 308求调剂 +21 倘若起风了呢 2026-04-05 21/1050 2026-04-10 08:13 by Sammy2
[考研] 一志愿华工085600 331分 +6 天下ww 2026-04-09 6/300 2026-04-09 18:59 by l_paradox
[考研] 材料299专硕求调剂 +10 +21 2026-04-09 10/500 2026-04-09 17:34 by 1753564080
[考研] 337求调剂 +4 Gky09300550, 2026-04-09 4/200 2026-04-09 17:18 by 帕尔马拉特
[考研] 308求调剂 +17 墨墨漠 2026-04-06 17/850 2026-04-09 09:25 by 壹往無前
[考研] 286求调剂 +19 Faune 2026-04-08 20/1000 2026-04-09 08:36 by 哦哦123
[考研] 考研求调剂 +4 雯??? 2026-04-08 4/200 2026-04-08 21:44 by 土木硕士招生
[考研] 土木水利专硕276分求调剂 +6 我想上学!!6 2026-04-05 9/450 2026-04-08 17:45 by 宋小宝HQ
[考研] 化学0703-一志愿211-338分求调剂 +10 vants 2026-04-05 11/550 2026-04-08 16:02 by screening
[考研] 计算机11408 287 求调剂 +3 LiLe5 2026-04-07 3/150 2026-04-07 23:15 by shanqishi
[考研] 22408 调剂材料 +7 我叫ez 2026-04-06 8/400 2026-04-07 17:12 by 蓝云思雨
[考研] 信工所11408 340分 本科西安交大自动化 +3 moontrek 2026-04-06 3/150 2026-04-07 09:56 by chongya
[考研] 307求调剂 +3 Youth@@ 2026-04-07 3/150 2026-04-07 09:25 by 小黑不怕难
信息提示
请填处理意见