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
公理
理解矩阵(读csdn孟岩之理解矩阵)
“按照现行的国际标准,线性代数是通过
公理
化来表述的,它是第二代数学模型,...,这就带来了教学上的困难。”
ddbolg
·
2008-04-20 22:00
数学与算法
数理逻辑
所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的
公理
方法。
welcomejzh
·
2008-01-10 11:00
编程
工作
算法
扩展
语言
出版
ACM UVa算法题209 Triangular Vertices的解法
注意我用的不是实际长度,而是抽象的单位,这个单位在不同方向上面意义不一样,否则很容易通过三角形相关
公理
推出这样的三角形不存
happmaoo
·
2007-12-18 23:00
算法
F#
ext
J#
数学归纳法的证明
数学归纳法的证明证明方法:反证法使用
公理
:任何一个非空正整数集合存在切仅存在一个最小元素证明大致过程:1、构造反命题:存在一个命题集合P,P(1)成立,P(n)成立时P(n+1)成立,但存在至少一个正整数
Feng.Li's Java See
·
2007-12-17 15:00
今天你搏了么?
达尔文的生物进化论,优胜劣汰,此为
公理
也。
Oracle神谕
·
2007-11-25 11:00
计算机科学经典论文
·AnaxiomaticbasisforcomputerprogrammingC.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticS
xingshaomin
·
2007-11-05 22:00
编程
LISP
Smalltalk
Scheme
网络应用
计算机科学经典论文
· Anaxiomaticbasisforcomputerprogramming C.A.R.HoareTonyHoare名下的
公理
化语义(Axiomatic
xingshaomin
·
2007-11-05 22:00
编程
Scheme
网络应用
lisp
smalltalk
ontology建模
这些元语分别为:类/概念(classes/concepts) ,关系(relations),
公理
(axioms),函数(functions)和实例(instances)。
·
2007-07-30 13:00
log
编码人员和测试人员:争论的秘密
首先,我们先要叙述一条“
公理
”:任何人都不能保证其工作成果总是100%
java060515
·
2007-07-12 14:00
工作
测试
软件测试
文档
工具
产品
Institute for Cancer Research
最新词条・香港专业进修学校・香港科技专上书院・明爱白英奇专业学校・中华基督教会
公理
高中书院・职业训练局工商资讯学院优秀词条・NicolasSarkozy・straightminded・compositefounda
wangqun0208
·
2007-07-04 16:10
情感
for
research
Institute
cancer
Institute for Cancer Research
最新词条・香港专业进修学校・香港科技专上书院・明爱白英奇专业学校・中华基督教会
公理
高中书院・职业训练局工商资讯学院优秀词条・NicolasSarkozy・straightminded・compositefounda
wangqun0208
·
2007-07-04 16:10
情感
for
research
Institute
cancer
正视UI设计――读【软件观念革命】【四】
你就是这样认为的,恩,小声点,说实话多不好啊^_^),我决定最好把书中的
公理
都用可爱的Google拼音打上来。
duguguiyu
·
2007-06-04 01:00
设计
软件
休闲
观念
革命
正视UI设计――读【软件观念革命】【四】
你就是这样认为的,恩,小声点,说实话多不好啊^_^),我决定最好把书中的
公理
都用可爱的Google拼音打上来。
duguguiyu
·
2007-06-04 01:00
设计
软件
休闲
观念
革命
ACM UVa算法题209 Triangular Vertices的解法
注意我用的不是实际长度,而是抽象的单位,这个单位在不同方向上面意义不一样,否则很容易通过三角形相关
公理
推出这样的三角形
ATField
·
2007-05-03 00:00
C++
算法
优化
struct
String
input
ACM UVa算法题209 Triangular Vertices的解法
注意我用的不是实际长度,而是抽象的单位,这个单位在不同方向上面意义不一样,否则很容易通过三角形相关
公理
推出这样的三角形不存
lovnet
·
2007-05-03 00:00
c
算法
F#
ext
J#
本体库的建立与标注
本观点:本体的建立及本体库的标注问题;在本体的建模阶段,大部分的建模工作都集中在领域知识的抽象表示上,即发现领域内的概念、概念的继承层次、潜在的关系和
公理
等。
funson
·
2007-03-18 22:00
Web
数据库
Yahoo
语言
任务
Semantic
计算机科学经典论文
· Anaxiomaticbasisforcomputerprogramming C.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)。
ruixj
·
2007-03-07 10:00
计算机科学经典论文
·AnaxiomaticbasisforcomputerprogrammingC.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)。著名的
guo_wangwei
·
2007-02-27 09:00
计算机科学经典论文
· Anaxiomaticbasisforcomputerprogramming C.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)。
celestialwy
·
2007-02-25 15:00
计算机科学经典论文
·AnaxiomaticbasisforcomputerprogrammingC.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)。著名的
varsoft
·
2007-02-23 04:00
编程
Scheme
网络应用
lisp
smalltalk
计算机科学经典论文
·AnaxiomaticbasisforcomputerprogrammingC.A.R.HoareTonyHoare名下的
公理
化语义(AxiomaticSemantics)。著名的
g9 zii
·
2007-02-23 04:00
计算机
经典
科学
关于“人工智能”技术发展的思考与建议
令人震惊的并不是这个结论本身,而是机器翻译界正视人类自然语言常识性
公理
对机器翻译技术的根本制约意义,竟
dazui
·
2007-01-12 14:00
论聚群心理学的
公理
化及在单向时间轴上的应用
论聚群心理学的
公理
化及在单向时间轴上的应用——关于心灵和历史的关系(注1)HariSeldon,Helicon,SymposiaofDecennialConvention,12020简介:本文介绍了聚群心理学的
公理
化
clamp
·
2006-12-21 18:00
领域模型
教育
生物
F#
J#
论聚群心理学的
公理
化及在单向时间轴上的应用
论聚群心理学的
公理
化及在单向时间轴上的应用 ——关于心灵和历史的关系(注1) Hari Seldon
clamp
·
2006-12-21 18:00
生物
教育
F#
J#
领域模型
论聚群心理学的
公理
化及在单向时间轴上的应用
论聚群心理学的
公理
化及在单向时间轴上的应用——关于心灵和历史的关系(注1)HariSeldon,Helicon,SymposiaofDecennialConvention,12020简介:本文介绍了聚群心理学的
公理
化
clamp
·
2006-12-21 18:00
领域模型
教育
生物
F#
J#
分析学中的若干空间:
如果以上两种运算满足以下
公理
。则称X为线性空间。 (a) x + y = y + x . 加法满足交换率。
javahigh1
·
2006-12-06 12:00
分析
分析学中的若干空间:
如果以上两种运算满足以下
公理
。则称X为线性空间。 (a) x + y = y + x . 加法满足交换率。
izuoyan
·
2006-12-06 12:00
C++
c
C#
F#
公理
集合论?
阅读更多
公理
集合论是19世纪末康托尔创立的。由于罗素悖论及一系列别的悖论,使得原始的朴素的集合理论被迫采用数学中最常用的办法——
公理
化方法——来避免悖论。
fixopen
·
2006-10-15 17:00
公理
集合论?
公理
集合论是19世纪末康托尔创立的。由于罗素悖论及一系列别的悖论,使得原始的朴素的集合理论被迫采用数学中最常用的办法——
公理
化方法——来避免悖论。我们来看看维基百科上怎么描述集合
公理
: 1.
fixopen
·
2006-10-15 17:00
集合
数学词汇英语翻译
数学 mathematics, maths(BrE), math(AmE)
公理
axiom 定理 theorem 计算 calculation 运算 operation 证明 prove 假设 hypothesis
wapysun
·
2006-09-26 10:00
UP
数学词汇英语翻译
数学mathematics,maths(BrE),math(AmE)
公理
axiom定理theorem计算calculation运算operation证明prove假设hypothesis,hypotheses
Suprman
·
2006-09-26 10:00
关于游戏软件制作的工艺与工程(4)
谁可以由现成的
公理
,推出一个经受住千万人考验的插片玩具,或者是积木的大小。以保证此玩具被多数人接受并且乐于掏钱购买并且使用?
ijavagos
·
2006-08-18 22:00
设计模式
游戏
教育
音乐
出版
四色定理中
公理
的证明
四色定理中
公理
的证明
公理
:“任何一个图形在二元平面内最多只能与另外三个图形两两互相有边界。”证明:1、既然有边界,显然得从两个图形(分别为图形A、B)开始讨论。
阿海的blog
·
2006-08-18 11:00
猜测黎鸣老先生的四色定理证明过程
猜测黎鸣老先生的四色定理证明过程刚才以这条
公理
(“任何一个图形在二元平面内最多只能与另外三个图形两两互相有边界。”)又想了一下,猜测老先生的证明过程大致如下:1、论证该
公理
。
阿海的blog
·
2006-08-17 13:00
从前有位国王,他有四位妻子。
正因为如此,人的不合理的私欲必须要受到社会
公理
、道义、法
loveme23
·
2006-06-03 18:00
职场
休闲
数学的分支
公理
集合论 f.. 数学基础 g.. 数理逻辑与数学基础其他学科 c.. 数论 a.. 初等数论 b.. 解析数论 c.. 代数数论 d.. 超越数论 e.. 丢番图逼近 f..
javahigh1
·
2006-01-31 00:00
数学
继续思考
继续思考书接上篇:对一些问题的思考1.唯物主义的片面性和不完全性 唯物主义说"世界的本原是物质的",同"意识源于物质"一样,唯物主义也认为这是
公理
,无需证明.但很显然,这句话是不正确的.如果我们承认它是对的
局部变量的作用域
·
2005-11-23 14:00
对一些问题的思考
换句话说,"意识源于物质"在整个唯物主义中是作为
公理
出现的,但这条
公理
错了怎么办
局部变量的作用域
·
2005-09-26 19:00
第六代OA办
公理
念
办公自动化于50年代在美国等西方国家首先兴起,到70年代后期形成新型综合学科——办公自动化(OA)。80年代到90年代,办公自动化系统开始在世界各国得到较快的发展。 根据对企业发展的深刻洞察,Acer认为,我国企业与政府机关的办公自动化历程,实际上已经经历了6代的发展,伴随着6代管理思想与管理体系的演变。 第1代OA:硬件配置阶段 70年代末,伴随企业在办公过程中开始使用电脑
·
2005-02-21 18:00
OA
[转贴]让人头疼的微软公司面试题目从哪里来?
他连皮亚诺
公理
这样的基础知识都不懂!”我的这位朋友对此感到愤怒,因为他觉得之所以面试搞砸,是这个主考官对所谈论话题的无知造成的。 结果实情是什么呢?
isiqi
·
2004-07-09 13:00
编程
互联网
面试
软件测试
招聘
第一个帖子,先灌灌水
灌水也要有内容,建议大家看看:http://expert.csdn.net/Expert/topic/2904/2904082.xml这世界,快没有
公理
了。
zdg
·
2004-03-30 18:00
上一页
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
其他