24小时热门版块排行榜    

Znn3bq.jpeg
汕头大学海洋科学接受调剂
查看: 5171  |  回复: 16
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

qd_huqiang

禁虫 (著名写手)

本帖内容被屏蔽

» 猜你喜欢

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

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

查看全部散金贴

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

々暧-〃

版主 (文学泰斗)



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

userhung

禁虫 (文学泰斗)



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

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

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

最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。
7楼2013-03-31 22:05:27
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
mvpyqz13楼
2013-03-31 23:08  
qd_huqiang(金币+1): 谢谢参与
~ [ 发自手机版 http://muchong.com/3g ]
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 290调剂生物0860 +35 哇哈哈,。 2026-04-11 41/2050 2026-04-14 23:47 by Xurambo2014
[考研] 0854调剂 +11 长弓傲 2026-04-12 14/700 2026-04-14 16:07 by 逆水乘风
[考研] 085600材料与化工329分求调剂 +24 叶zilin 2026-04-13 25/1250 2026-04-14 09:20 by 试管破裂
[考研] 332求调剂 +15 蕉蕉123 2026-04-10 15/750 2026-04-13 23:12 by pies112
[考研] 297工科,求调剂? +13 河南农业大学-能 2026-04-12 13/650 2026-04-13 14:12 by dingyanbo1
[考研] 生物学调剂 +11 小冉要努力 2026-04-10 13/650 2026-04-13 11:46 by 电化学及催化
[考研] 0831一轮调剂失败求助 +10 小熊睿睿_s 2026-04-11 10/500 2026-04-12 22:43 by 长弓傲
[考研] 本科南方医科大学 一志愿985 药学学硕284分 求调剂 +5 弱水听文 2026-04-09 5/250 2026-04-12 13:16 by shengxi123
[考研] 一志愿西北工业大学289 085602 +33 yang婷 2026-04-10 34/1700 2026-04-12 08:11 by Art1977
[找工作] 山东高校教师考核超级无底线,员工过不下去啦 +4 qut2026 2026-04-09 9/450 2026-04-12 00:54 by qut2026
[考研] 086003调剂求助 +21 苏弋万 2026-04-09 22/1100 2026-04-11 20:25 by dongdian1
[考研] 调剂 +19 小张ZA 2026-04-10 20/1000 2026-04-10 22:08 by 猪会飞
[考研] 计算机类求调剂,22408-274分 +7 上岸de小虫 2026-04-09 8/400 2026-04-10 19:56 by fxue1114
[考研] 298求调剂 +13 钉叮咚冬瓜 2026-04-09 13/650 2026-04-10 15:49 by jiajinhpu
[考研] 求调剂 +11 翩翩一书生 2026-04-09 13/650 2026-04-10 10:27 by liuhuiying09
[考研] 085601初试330分找调剂 +10 流心奶黄包l 2026-04-09 10/500 2026-04-10 08:14 by Sammy2
[考研] 已调剂 +18 柴郡猫_ 2026-04-09 19/950 2026-04-09 22:10 by 柴郡猫_
[考研] 070300化学 求调剂 +13 73372112 2026-04-08 13/650 2026-04-09 20:22 by maddjdld
[考研] 283电子信息求调剂 +4 三石WL 2026-04-08 4/200 2026-04-09 10:21 by wp06
[考研] 招收有机化学、化工,药学,食品灯专业学生 +3 yrfhjgdj 2026-04-08 3/150 2026-04-09 10:15 by QYQX_123
信息提示
请填处理意见