上一页 1 ··· 235 236 237 238 239 240 241 242 243 ··· 324 下一页
摘要:   BIRT is an Eclipse-based open source reporting system for web applications, especially those based on Java and J2EE. BIRT has two main components: a report designer based on Eclipse, and a run... 阅读全文
posted @ 2010-08-16 16:59 emanlee 阅读(750) 评论(0) 推荐(0) 编辑
摘要:   用以计量事物的件数或表示事物次序的数 。 即用数码0,1,2,3,4,……所表示的数 。表示物体个数的数叫自然数,自然数由0开始(包括0), 一个接一个,组成一个无穷的集体。 常用大写字母N表示 自然数集有加法和乘法运算,两个自然数相加或相乘的结果仍为自然数,也可以作减法或除法,但相减和   概念 相除的结果未必都是自然数,所以减法和除法运算在自然数集中并不是总能... 阅读全文
posted @ 2010-08-16 16:32 emanlee 阅读(2194) 评论(0) 推荐(0) 编辑
摘要: 数学中的IFF标记 当且仅当( If and only if,缩写为:IFF),中文翻译为:当且仅当。 在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”的缩写。 常用符号“≡” “⇔” “双向箭头⟷”表示。 阅读全文
posted @ 2010-08-16 16:19 emanlee 阅读(4734) 评论(0) 推荐(0) 编辑
摘要: 使用word制作,然后做成图片(繁琐) ASCIIMathML.js (IE不支持;FF, Safari 支持) MathType (网页行吗?) http://www.newhua.com/soft/5975.htm http://mathcs.chapman.edu/~jipsen/mathml 阅读全文
posted @ 2010-08-16 12:04 emanlee 阅读(776) 评论(0) 推荐(0) 编辑
摘要: 什么是充分条件和必要条件? 假设A是条件,B是结论: 由A可以推出B,由B可以推出A,则A是B的充要条件(充分且必要条件)。 由A可以推出B,由B不可以推出A,则A是B的充分不必要条件。 由A不可以推出B,由B可以推出A,则A是B的必要不充分条件。 由A不可以推出B,由B不可以推出A,则A是B的不充分不必要条件。 简单一点就是:由条件能推出结论,但由结论推不出这个条件,这个条件就是充分条件。 如果... 阅读全文
posted @ 2010-08-16 09:14 emanlee 阅读(73882) 评论(0) 推荐(2) 编辑
摘要: 谓词演算的推理方法,可以看作是命题演算推理方法的扩张。因为谓词演算的很多等价式和蕴涵式,是命题演算有关公式的推广,所以命题演算中的推理规则,如P,T和CP规则等亦可在谓词的推理理论中,某些前提与结论可能受量词限制的,为了使用这些等价式和蕴涵式,必须在推理过程中有消去和添加量词的规则,以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。现介绍如下规则。 (1) 全称指定规则,它表示为US... 阅读全文
posted @ 2010-08-13 15:59 emanlee 阅读(4257) 评论(0) 推荐(0) 编辑
摘要: 在命题演算中,常常要将公式化成规范形式,对于谓词演算,也有类似情况,一个谓词演算公式,可以化为与它等价的范式。 定义2-6。1 一个公式,如果量词均在全式的开头,它们的作用域,延伸到整个公式的末尾,则该公式叫做前束范式。 前束范式可记为下述形式:(□v1)(□v2)…(□v4)a,其中□可能是量词 或量词ヨ,vi(i=1,2,3,... 阅读全文
posted @ 2010-08-13 15:58 emanlee 阅读(5235) 评论(0) 推荐(0) 编辑
摘要: 在谓词公式中常包含命题变元和客体变元,当客体变元由确定的客体所取代,命题变元用确定的命题所取代时,就称作对谓词公式赋值。一个谓词公式经过赋值以后,就成为具有确定真值t或f的命题。 定义2-5.1给定任何两个谓词公式wff a和wff b,设他们有共同的个体域e,若对a和b的任一组变元进行赋值,所得命题的真值都相同,则称谓词公式a和b在e上是等价的,并记作aûb。 定义2-5.2给定任意... 阅读全文
posted @ 2010-08-13 15:57 emanlee 阅读(3982) 评论(0) 推荐(0) 编辑
摘要: 给定a为一个谓词公式,其中有一部分公式形式为("x)p(x)或(ヨx)(p(x))。这里"、ヨ后面所跟的x叫做量词的指导变元或作用变元,p(x)叫做相应量词的作用域或辖域。在作用域中x的一切出现,称为x在a中约束出现,x亦称为被相应量词中的指导变元所约束。在a中除去约束变元以外所出现的变元称作自由变元。自由变元是不受约束的变元,虽然它有时也在量词的作用域中出现,但它不受相应量词中指导变元的约束,故... 阅读全文
posted @ 2010-08-13 15:54 emanlee 阅读(4711) 评论(0) 推荐(0) 编辑
摘要: 无标题文档我们知道,简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念,谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是,怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢?下面先介绍谓词的合式公式。 我们把a(x1,x2,…,xn)称作谓词演算的原子公式,其中x1,x2,…,xn是客体变元,因此原子谓词公式包括下述形式的各种特例。如:q,a(x... 阅读全文
posted @ 2010-08-13 15:53 emanlee 阅读(4478) 评论(0) 推荐(0) 编辑
上一页 1 ··· 235 236 237 238 239 240 241 242 243 ··· 324 下一页