E-COM-NET
首页
在线工具
Layui镜像站
SUI文档
联系我们
推荐频道
Java
PHP
C++
C
C#
Python
Ruby
go语言
Scala
Servlet
Vue
MySQL
NoSQL
Redis
CSS
Oracle
SQL Server
DB2
HBase
Http
HTML5
Spring
Ajax
Jquery
JavaScript
Json
XML
NodeJs
mybatis
Hibernate
算法
设计模式
shell
数据结构
大数据
JS
消息中间件
正则表达式
Tomcat
SQL
Nginx
Shiro
Maven
Linux
公理
定义究竟是什么?
定义究竟是什么,这无疑是一个哲学的根本
公理
。然而对于实际中的人类哲学和数理哲学对这个问题的看法未必相同。一个典型的问题,什么是哲学,就可以表现出起根本的差异。
ozzzzzz
·
2013-04-24 03:00
语言
哲学
创建可扩展性系统-11
在中学数学中做数学证明题时,需要用到合适的定理,定理和棋类的定式类似,也是可以看作是存储的一系列关键的推理步骤的结果;这样在推理时就不需要从基本
公理
做起。这两个例子是信息系统中缓存的两个特点,1
watchsound
·
2013-04-06 14:08
系统架构
可扩展性缓存
软件测试
公理
软件测试
公理
什么是
公理
?
qileilove
·
2013-03-04 10:00
测试
公理
什么是
公理
?
·
2013-02-22 21:00
测试
如何让企业应用实现“快速上手”Openbiz提出新概念
[“上手难”问题是阻碍企业应用实施的绊脚石]随着时代发展,智能化办
公理
念逐渐受到关注,人们开始意识到智能办公能为企业带来多么大的转变和促进。于是,众多企业动辄花费数万元定制、购买OA软件
carol_openbiz
·
2013-01-29 14:00
【转】TOEFL写作27分完全攻略
TOEFL写作27 完全攻略 考托者应记住的几条
公理
1,托福作文就是新八股文 &
wangyanlong0107
·
2013-01-08 20:00
漫话距离(By Dahua Lin@MIT)
自我们来到这个世界,就会用我们还很幼小的眼睛测量着自己和身边的人的距离,然后跟着距离自己最近的人学叫“妈妈”;长大了,我们学会了用“距离产生美”这种不知道属于
公理
还是定理的命题,提醒自己不要和心仪的mm
lsxpu
·
2013-01-08 09:00
从抛硬币试验看概率论的基本内容及统计方法
这篇文章会涉及的有古典概型、
公理
化概率、二项分布、正态分布、最大似然估计和假设检验等一系列内容。主要目的是以抛硬币试验为例说明现代数学观点下的概率是什么样子以及以概率论为基础的一些基本数理统计方法。
木木老蔫
·
2012-12-06 13:17
数学
数学框架
数理逻辑与数学基础 a..演绎逻辑学亦称符号逻辑学 b..证明论亦称元数学 c..递归论 d..模型论 e..
公理
集合论 f..数学基础 g..数理逻辑与数学基础其他学科3..
ljy1988123
·
2012-11-19 12:00
框架
数学
分类
计算机科学经典论文
· Anaxiomaticbasisforcomputerprogramming C.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)
yyhustim
·
2012-11-08 16:00
先私有,后公有(prefer private to public)
如果局限于程序设计领域,则“私有优先公有”,已经被认为是
公理
。有的人、项目,想主动或被动地通过反证法来推翻它的,最后都越加验证了其正确性。
zhouyulu
·
2012-10-28 00:00
中国人的性情之漠视精确
按:这是美国
公理
会传教士阿瑟·史密斯(ArthurH.Smith)在1894年出版的书《中国人的性情》中的一篇文章。
qwertyuj
·
2012-09-01 21:00
缠论核心技术总结
缠中说禅的理论,是人类历史上第一次把交易市场建筑在严密的
公理
化体系上的理论,还原了资本市场的本来面目,让人类的贪婪、恐惧无所遁形。
denisyq
·
2012-08-13 16:40
Stocks
什么是数学—对数学和方法的基本研究 笔记
第一章自然数与数论质数的几个证明余数的几个证明证明集合可数的简便方法证明实数区间不可数的新方法再谈稠密性:令人吃惊的稠密集及其交集经典证明:任何可数集都含有不可数个嵌套子集对角线方法之后的故事第四章射影集合
公理
体系非欧几何平面几何中的几个著名定理
liujb861213
·
2012-08-10 15:00
为什么1+1等于2
陈景润花了大半辈子才研究出1+2为什么等于3,那么1+1=2.......在现代的精密科学中,特别在数学和数理逻辑中,广泛地运用着
公理
法。什么叫
公理
法呢?从某一科学的许
zsw2zkl
·
2012-07-11 16:00
路由器
爸爸给女儿的25句爱情忠告,很贴心,很受用!
但是最简洁的方法是:视为
公理
。就像“两点之间直线最短”、“圆周为360度”一样,你必须相信一
·
2012-05-22 10:00
爱情
爸爸
女儿
勒贝格测度(转)
一个值为∞的勒贝格测度是可能的,但是即使如此,在假设选择
公理
成立时,Rn的所有子集也不都是勒贝格可测的。不可测集的“奇特”行为导致了巴拿赫-塔斯基悖论这样的命题,它是选择
公理
的一个结果。如果A
lishuiwang
·
2012-05-17 15:00
c
群(转)
要具有成为群的资格,这个集合和运算必须满足一些被称为“群
公理
”的条件,也就是封闭性、结合律、单位元和逆元。
lishuiwang
·
2012-05-16 15:00
c
C++命名规则(Important Knowledge)
活跃在生物学、化学、军队、监狱、黑社会、恐怖组织等各个领域内的大量有识先辈们都曾经无数次地以实际行动证明了以上
公理
的正确性。
lsg32
·
2012-05-11 23:00
连通图之前的几个补充讨论
既然可以在符合
公理
化集合论的基础上,采用一种简单的方式描述图论的连通定义,为什么不能采用。反驳我哦,希望给出错误点的指出。当然我们不能遗漏了一些传统图论的定义,我说了,要在兼容
公理
化集合论的基础
中山野鬼
·
2012-05-09 03:00
离散集合和图论的讨论
这里不是想去否定
公理
化集合论以及现有的图论。恰恰相反,在对图论做分析时,我发现一些证明,符号化描述非常困难,而图论本身又可以通过集合来描述,所以我想尝试使用更多的集合论的符号,约束,来描述图论问题。
中山野鬼
·
2012-05-06 03:00
幾何不變性的簡單討論
這本書引入了
公理
系統,即假設
wangxiaojun911
·
2012-03-20 04:00
數學詞彙的英譯,寫文章,讀文獻必備 .
http://blog.csdn.net/berlini159/article/details/6895121一般詞彙數學 mathematics,maths(BrE),math(AmE)
公理
axiom
rocky69
·
2012-02-14 22:00
objective-c 编码规范(coding style)
编码规范,是规范,不是定理,
公理
。本身就仁者见仁,智者见智。遵循自己喜欢的或者大家都在遵循的,即可。
logcabin
·
2012-01-04 10:00
[Math]数学与其分类
数学依赖于一种特殊的方法去达到它惊人而有力的结果,即从不证自明的
公理
出发进行演绎推理。它的实质是,若
公理
为真,则可以保证由它演绎出的结论为真。
dragonszy
·
2011-11-29 11:00
lisp初体验-Practical Common Lisp笔记-14.因为list,它被称为Lisp
而过去却只有列表(list)这一个选项,so~当然历史原因只是其一(话说能在历史中被选择的总有其合理之处),就当前通常可见的场景下,List也是一个不错的选择,其实用性早已被时间所证明(有点像数学啊,很多
公理
都早已被确定
iyuan
·
2011-11-27 18:00
lisp
ElGamal加密算法基础到实现详解
要具备成为群的资格,这个集合和运算(G,·)必须满足叫做群
公理
的四个要求:1.封闭性。对于所有G中a,b,运算a·b的结果也在G中。2.结合性。对于所有G中
boksic
·
2011-11-26 14:00
c
加密
算法
解密
扩展
关于owl
一DisjointClasses、SubClassOf、EquivalentClasses是类的三大
公理
1.DisjointClasses:owl中的class更类似于集合,class中的实例相当于集合中的元素
wsllq334
·
2011-11-13 10:00
properties
object
Class
超图灵计算
超图灵计算(2009-08-0923:45:11)标签:教育分类:工作篇1.图灵的历史贡献阿兰·图灵[1]是一位天才的数学家,最早对歌德尔[2]关于“逻辑无法刻画所有数学
公理
”的证明进行了扩展,指出计算机不能完全证明数学命题
junecau
·
2011-11-13 00:41
软件技术
超图灵计算
超图灵计算(2009-08-0923:45:11)标签:教育分类:工作篇1.图灵的历史贡献 阿兰·图灵[1]是一位天才的数学家,最早对歌德尔[2]关于“逻辑无法刻画所有数学
公理
”的证明进行了扩展
junecau
·
2011-11-13 00:00
成熟的人类爱分享
虽然按劳分配获取自己的劳动所得在人类社会是理所当然的普世
公理
,但放眼整个生物界,不得不说这是人类的伟大“发明”。有了分享的约定,从此人类才可以放心地分工合作,让一部分人外出打猎,另一部分人守护家园。
0.618 Demojiang
·
2011-11-11 18:00
成熟
人类
分享
为什么要了解mobile GIS
上面这句话我们可以看做一条
公理
,
公理
是不需要证明的。GIS技术的应用,从C/S到B/S,从SOAP到REST,从SOA到云,都印证了这条
公理
。
iwebcode
·
2011-11-09 13:00
mobile
为什么要了解mobile GIS
上面这句话我们可以看做一条
公理
,
公理
是不需要证明的。GIS技术的应用,从C/S到B/S,从SOAP到REST,从SOA到云,都印证了这条
公理
。
iwebcode
·
2011-11-09 13:00
mobile
[AI]命题逻辑Propositional Logic
术语一般来讲,运算是一个形式系统,包括一套语法表示式、这些表示式可区分的子集(
公理
)和一套定义了特定的二元关系,可解译为表示式空间上的逻辑等价的形式规则。
dragonszy
·
2011-11-07 14:00
c
框架
扩展
语言
工具
终端
平面几何中的几个著名定理
RESOURCE/CZ/CZSX/SXBL/SXTS1020/2075_SR.HTM几何学起源于土地测量,几千年来,人们对几何学进行了深入的研究,现已发展成为一门具有严密的逻辑体系的数学分支.人们从少量的
公理
出发
jinzhilong580231
·
2011-11-05 14:00
c
C语言经典书籍
决非国人所写的那些
公理
化的教条说教,我觉得作者把自己的心血全部吐露。书很厚,近700页,却不没有让我觉得任何的
卑微的去爱你
·
2011-11-03 12:00
C语言
抽象代数的研究对象辨析
集合不是早就在康托尔与
公理
集合论里面就已经研究得差不多了吗?
刘小兵2014
·
2011-11-02 22:00
人的效率还是机器的效率?
想想看来,作为一个现在很多书上都会提到的观点,上面那句话已经成为了像我一样刚入编码世界不久,但是认识不深,却又渴望找寻
公理
的后生们公认的不二法门了。
soboer
·
2011-10-29 01:00
效率
人的效率还是机器的效率?
想想看来,作为一个现在很多书上都会提到的观点,上面那句话已经成为了像我一样刚入编码世界不久,但是认识不深,却又渴望找寻
公理
的后生们公认的不二法门了。
nieweilin
·
2011-10-29 01:00
工作
汇编
basic
语言
工具
pascal
概率与测度 (4):闲扯大数定理与学习理论
事实上,历史上有以这个性质作为基础来构建概率论的理论体系的尝试,不过在现在的概率论
公理
化体系下面,这个可以作为一个结论推导出来,具体来说,它是大数定理的一个特殊情况。不过如本文标题所说,这次只是闲扯,
pluskid Mao..
·
2011-10-24 14:00
Math
Theory
learning
Mathematics
Probability
[置顶] 数学词汇的英译,写文章,读文献必备
· 一般词汇数学 mathematics,maths(BrE),math(AmE)
公理
axiom定理 theorem推论 corollary计算 calculation运算 operation证明
berlini159
·
2011-10-21 21:00
分享让我们走更远
虽然按劳分配获取自己的劳动所得在人类社会是理所当然的普世
公理
,但放眼整个生物界,不得不说这是人类的伟大“发明”。有了分享的约定,从此人类才可以
0.618 Jona
·
2011-10-11 02:00
分享
(原创)宇宙10个维度的一句话理解
所以我们要允许起点的不确定性(于是可以想象
公理
系统完全不同了)第七维可以总结为允许宇宙
C大调如歌的行板
·
2011-10-05 00:00
(原创)宇宙10个维度的一句话理解
所以我们要允许起点的不确定性(于是可以想象
公理
系统完全不同了)第七维可以总结为允许宇宙起点的不确定性,也就是平行奇点第八
陈昱(CY) Frank
·
2011-10-05 00:00
原创
宇宙
维度
(原创)宇宙10个维度的一句话理解
所以我们要允许起点的不确定性(于是可以想象
公理
系统完全不同了)第七维可以总结为允许宇宙起点的不确定性,也就是平行奇点第八
陈昱(CY) Frank
·
2011-10-04 16:00
理解
宇宙
维度
程序员?你是数学家还是物理学家?
数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的
公理
及定义中建立起严谨推导出的真理。 物理: 在物理学的领域中,研究的是宇宙的基本组成要素:物质
javasogo
·
2011-06-16 09:00
数据结构
编程
算法
百度
OO
Icy Plog - 我为什么不相信中医
西方科学体系的根基,乃是
公理
体系和逻辑演绎。在医学上,就是重复试验并积累分析。而中医呢?中医诊病,靠两招:一招是“老方子”。一招是“阴阳学说”。先说阴阳学说。这是一个典型的哲学学
(author unknown) David
·
2011-05-25 13:00
icy
plog
相信
图书推荐
决非国人所写的那些
公理
化的教条说教,我觉得作者把自己的心血全部吐露。书很厚,近700页,却不没有让我
cubelee
·
2011-02-19 19:38
C语言
图书推荐
决非国人所写的那些
公理
化的教条说教,我觉得作者把自己的心血全部吐露。书很厚,近700页,却不没有让
michael-java
·
2011-02-19 19:00
编程
C++
c
linux
C#
防火墙基本原理及ACL基本知识
/出u 双向网络地址转换(NAT)u 基于一次性口令对移动访问进行身份识别和控制u IP MAC捆绑,防止IP地址的滥用安全记录:u 通信事件记录u 操作事件记录u 违规事件记录u 异常情况告警 安全
公理
cruelwind
·
2011-02-13 18:04
职场
防火墙
acl
休闲
上一页
38
39
40
41
42
43
44
45
下一页
按字母分类:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他