24小时热门版块排行榜    

查看: 5329  |  回复: 16

qd_huqiang

禁虫 (著名写手)

本帖内容被屏蔽

» 猜你喜欢

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

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

查看全部散金贴

已阅   关注TA 给TA发消息 送TA红花 TA的回帖
回帖支持 ( 显示支持度最高的前 50 名 )

userhung

禁虫 (文学泰斗)



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

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

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

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

落花剑雨

木虫之王 (文学泰斗)



qd_huqiang(金币+1): 谢谢参与
呃,祝福~~~
6楼2013-03-31 22:00:34
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

々暧-〃

版主 (文学泰斗)



qd_huqiang(金币+1): 谢谢参与
祝福祝福~~~~~~
12楼2013-03-31 22:44:09
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

zhaodan911

金虫 (小有名气)



qd_huqiang(金币+1): 谢谢参与
相当不错!
15楼2013-04-01 00:08:59
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
2013-03-31 21:51  
qd_huqiang(金币+1): 谢谢参与
neu2343楼
2013-03-31 21:51  
qd_huqiang(金币+1): 谢谢参与
ych7794楼
2013-03-31 21:56  
qd_huqiang(金币+1): 谢谢参与
9108839745楼
2013-03-31 21:59  
qd_huqiang(金币+1): 谢谢参与
huigoo8楼
2013-03-31 22:05  
qd_huqiang(金币+1): 谢谢参与
readytogo9楼
2013-03-31 22:05  
qd_huqiang(金币+1): 谢谢参与
2013-03-31 22:11  
qd_huqiang(金币+1): 谢谢参与
Amaximan11楼
2013-03-31 22:32  
qd_huqiang(金币+1): 谢谢参与
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
2013-03-31 23:14  
qd_huqiang(金币+1): 谢谢参与
2013-04-01 00:30  
qd_huqiang(金币+1): 谢谢参与
happyzju17楼
2013-04-01 20:01  
相关版块跳转 我要订阅楼主 qd_huqiang 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 国社科又开始会评了,不知道这次命运如何 +7 雨打竹帘 2026-08-30 11/550 2026-08-31 23:16 by hittle2008
[找工作] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 EZ67DG6CvcKL 2026-08-31 3/150 2026-08-31 22:23 by o3EMxHUAQDtS
[基金申请] 基金未中,这种答复是模板吗? +6 zhaosm1982 2026-08-27 7/350 2026-08-31 21:18 by qdxxmc
[基金申请] 哪位高人中了,把查询到的截图贴出来让我看看,让我长长见识 +6 yuleib84 2026-08-26 7/350 2026-08-31 19:46 by 鱼翔浅底1
[基金申请] 面上意见出来了 +12 黄鸟于飞Chao 2026-08-29 23/1150 2026-08-31 18:57 by 黄鸟于飞Chao
[基金申请] 能否申诉? +7 echo8914667 2026-08-30 8/400 2026-08-31 17:00 by yihongxu
[基金申请] 中青基了要发朋友圈吗? +7 349506619 2026-08-28 7/350 2026-08-31 13:39 by 冼亮淀粉酶
[基金申请] 基金不中,共勉 +12 eulota 2026-08-26 12/600 2026-08-31 08:42 by ZJTJZ
[考博] 找导师 +6 yuanjiabao 2026-08-29 7/350 2026-08-30 14:40 by 生科新手
[基金申请] 国自然面上复盘~欢迎讨论 (金币+15) +15 晴天加油 2026-08-26 16/800 2026-08-29 18:28 by symmetry
[基金申请] 国自然评审意见 +13 wangmingqi 2026-08-28 19/950 2026-08-29 10:22 by Poppy1104
[基金申请] 面上合作单位盖章 +5 ssyjh 2026-08-27 5/250 2026-08-27 20:50 by gdfollow
[基金申请] 看板上这么多中的,有点像50人群里49个人都是骗子的那种感觉…… +5 a089 2026-08-26 6/300 2026-08-27 14:05 by jonewore
[基金申请] 怎么看青基中了没有啊 +5 叶九微 2026-08-26 5/250 2026-08-27 10:35 by l_zh2008
[基金申请] 为什么 国际(地区)合作与交流项目 没有放榜? 10+3 majunge000 2026-08-26 11/550 2026-08-27 08:42 by 北京莱茵编辑
[基金申请] 我不理解! +15 Edward_pc 2026-08-26 23/1150 2026-08-26 20:34 by zzuzxg
[基金申请] 出来了 +9 trojank 2026-08-26 9/450 2026-08-26 14:25 by 宝贝虫子
[基金申请] 项目信息和经费信息在系统里都可以看到了 +6 wittyboy 2026-08-26 14/700 2026-08-26 10:55 by wittyboy
[基金申请] 国合可查了 +3 paperzjh 2026-08-26 3/150 2026-08-26 10:41 by LemmonTr
[基金申请] 在坚冰还盖着北海的时候,我看到了怒放的梅花。 (金币+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
信息提示
请填处理意见