08 2010 档案
摘要: Enable/Disable RequiredFieldValidator with Javascript document.getElementById("requiredfieldvalidatorid").enabled = false; <asp:DropDownList ID="ddlServiceName"...阅读全文
摘要: 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...阅读全文
摘要: 用以计量事物的件数或表示事物次序的数 。 即用数码0，1，2，3，4，……所表示的数 。表示物体个数的数叫自然数，自然数由0开始(包括0)， 一个接一个，组成一个无穷的集体。 常用大写字母N表示 自然数集有加法和乘法运算，两个自然数相加或相乘的结果仍为自然数，也可以作减法或除法，但相减和 概念 相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不是总能...阅读全文
摘要: 数学中的IFF标记 当且仅当（ If and only if，缩写为：IFF)，中文翻译为：当且仅当。 在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”的缩写。 常用符号“≡” “⇔” “双向箭头⟷”表示。阅读全文
摘要: 使用word制作，然后做成图片（繁琐） ASCIIMathML.js (IE不支持；FF, Safari 支持) MathType （网页行吗？） http://www.newhua.com/soft/5975.htm http://mathcs.chapman.edu/~jipsen/mathml/asciimathdownload.html http:...阅读全文
摘要: 什么是充分条件和必要条件？ 假设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的不充分不必要条件。 简单一点就是：由条件能推出结论，但由结论推不出这个条件，这个条件就是充分条件。 如果...阅读全文
摘要: 谓词演算的推理方法，可以看作是命题演算推理方法的扩张。因为谓词演算的很多等价式和蕴涵式，是命题演算有关公式的推广，所以命题演算中的推理规则，如P，T和CP规则等亦可在谓词的推理理论中，某些前提与结论可能受量词限制的，为了使用这些等价式和蕴涵式，必须在推理过程中有消去和添加量词的规则，以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。现介绍如下规则。 （1） 全称指定规则，它表示为US...阅读全文
摘要: 在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。 定义2-6。1 一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。 前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词 或量词ヨ，vi（i=1，2，3，...阅读全文
摘要: 在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为具有确定真值t或f的命题。 定义2-5.1给定任何两个谓词公式wff a和wff b，设他们有共同的个体域e，若对a和b的任一组变元进行赋值，所得命题的真值都相同，则称谓词公式a和b在e上是等价的，并记作aûb。 定义2-5.2给定任意...阅读全文
摘要: 给定a为一个谓词公式，其中有一部分公式形式为（"x）p（x）或（ヨx）（p（x））。这里"、ヨ后面所跟的x叫做量词的指导变元或作用变元，p（x）叫做相应量词的作用域或辖域。在作用域中x的一切出现，称为x在a中约束出现，x亦称为被相应量词中的指导变元所约束。在a中除去约束变元以外所出现的变元称作自由变元。自由变元是不受约束的变元，虽然它有时也在量词的作用域中出现，但它不受相应量词中指导变元的约束，故...阅读全文
摘要: 无标题文档我们知道，简单命题函数与逻辑联结词可以组合成一些谓词表达式。有了谓词与量词的概念，谓词表达式所能刻划的日常命题就能广泛而深入得多了。但是，怎样的谓词表达式才能成为谓词公式并能进行谓词演算呢？下面先介绍谓词的合式公式。 我们把a（x1，x2，…，xn）称作谓词演算的原子公式，其中x1，x2，…，xn是客体变元，因此原子谓词公式包括下述形式的各种特例。如：q，a（x...阅读全文
摘要: 命题是反映判断的句子，不反映判断的句子不是命题。一般地说，反映判断的句子是由主语和谓语两部分组成。例如，电子计算机是科学技术的工具。其中“电子计算机”是主语，“是科学技术的工具”是谓语。主语一般是客体，客体可以独立存在，它可以是具体的，也可以是抽象的。例如：小王、老师、3、4、**代表团、唯物主义等。用以刻划客体的性质或关系的即是谓词。例如：张三是个...阅读全文
摘要: 为了说明命题函数的概念，下面先举例解释命题与谓词的关系。 设h是谓词“能够到达山顶”，l表示客体名称李四，t表示老虎，c表示汽车，那么h（l），h（t），h（c）等分别表示各个不同的命题，但他们有一个共同的形式，即h（x）。当x分别取l，t，c时就表示“李四能够到达山顶”，“老虎能够到达山顶”，“汽车能够到达山顶...阅读全文
摘要: 在数学和其他自然科学中，经常要考虑从某些前提a1，a2，…，an能够推导出什么结论。例如从分子学说，原子学说，能够得到什么结论，从光的波动学说，能得到什么结论等等。我们一般地要对〃假设〃的内容作深入分析，并推究其间的关系，从而得到结论。但也有一些道理，只需分析假设中的真值和联结词，便可获得结论。 在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在...阅读全文
摘要: 从上节可看到命题公式的最小联结词组为{┓, ∨}或{┓, ∧},但实际上为了使用方便,命题公式常常同时包含{┓, ∨,∧}.我们从表1-4.8可以看到命题定律除对9外都是成对出现的,其不同的只是∨和∧互换.我们把这样的公式称作具有对偶规律. 定义1-7.1 在给定的命题公式中,将联结词...阅读全文
摘要: 从上节真值表和命题的等价公式推证中可以看到，有些命题公式，无论对分量作何种指派，其对应的真值都为t或都为f，这两类特殊的命题公式在今后的命题演算中极为有用。为此，下面做详细的讨论。 定义1-5.1 给定有命题公式，若无论对分量做怎样的指派，其对应的真值为t，则称该命题公式为重言式或永真公式。 定义1-5.2 给定一命题公式,若无论对公式再哟怎样的指派,其对应的真值永为f,则称该命题为矛盾式或永假公...阅读全文
摘要: 定义1-4。1在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。 现举例说明如下： 例题1 构造┓p∨q的真值表。 解 表1-4.1 p q ┓p ┓p∨q t t f t t f f f f t t t f f t t 例题2 给出（...阅读全文
摘要: 前面已经提到，不包含任何联结词的命题叫做原子命题，至少包含一个联结词的命题称作复合命题。 设p和q是任意两个命题，则┓p，p∨q，（p∧q）∨（p→q），p«（q∨┓p）等都是复合命题。 若p和q是命题变元，则上述各式均称作命题公式。p和q称作命题公式的分量。 必须注意：命题公式是没有真假值的，仅当在一个...阅读全文
摘要: 在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1)否定 定义1-2.1设p为一...阅读全文
摘要: 在数理逻辑中，为了表达概念，陈述理论和规则，常常需要应用语言进行描述，但是日常使用的自然语言进行描述，往往叙述时不够确切，也易产生二义性，因此就需要引入一种目标语言，这种目标语言和一些公式符号，就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集，而判断就是对事物有肯定或否定的一种思维形式，因此能表达判断的语言事故陈述句，它称作命题。一个命题，总是具有一个“值...阅读全文
摘要: 第一篇 数理逻辑 逻辑学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。 逻辑学分为辨证逻辑与形式逻辑两种，前者是以辨证法认识论的世界观为基础的逻辑学，而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。思维的形式结构包括了概念，判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，这就是判断...阅读全文
摘要: 如何理解数理逻辑中的蕴含？ P→Q它表示自然语言的“如果…，则…”这种假言判断的,如果P为真命题，Q也为真命题时，P→Q是真命题，当P为真命题，而Q为假命题时，P→Q是一个假命题。比如张三说，“如果明天天不下雨(P)，那么他去你家玩(Q)”,如果第二天天不下雨，他去了你家，他说了真话(P→Q为真)，如果天不下雨，但他没有去你家，显然他说了谎话(此时P→Q为假)。 但是当P为假时，无论此时Q是真命...阅读全文
摘要: 公务员考试（逻辑推理） 甲、乙、丙、丁四位同学中有一位同学为海啸灾区捐款1000元，当老师询问时，他们分别这样回答： 甲：这1000元不是我捐的。 乙：这1000元是丁捐的。 丙：这1000元是乙捐的。 丁：这1000元不是我捐的。这四人中只有一个人说了真话，由此可见这1000元是谁捐的？ 奥数（逻辑推理） 甲、乙、丙、丁四个同学中，有一个同学在数学竞赛中获奖。老师问他们谁是获奖者时，他们...阅读全文
摘要: Messages below were from Output Window of Visual Studio 2008: Build (web): Object reference not set to an instance of an object. when building the solution, the build will fail with the error "/...阅读全文
摘要: VS2008: 解决方案中以添加网站的方式添加网站，支持自动编译，修改cs文件后，保存，在浏览器中刷新页面，会显示修改后的内容。 VS2008: 解决方案中以添加工程的方式添加网站，不能自动编译，修改cs文件后，保存，在浏览器中刷新页面，不会显示修改后的内容，要手动编译修改过的页面。阅读全文
摘要: Visual Studio 2008 with Service Pack 1 build page - failed; It found errors build web site - could not find errors; It was successfully built, but there really were errors inside the codes. Is it a...阅读全文
摘要: 仅供参考 素数，水仙花，完数，选择排序，加密（字母循环移动），指针与一维数组，自定义函数的定义与调用，求阶乘，最大公约数和最小公倍数，文件读写，递归函数与递归调用，求及格人数或平均成绩或最大最小成绩，Fibonacci数列，指针变量做函数参数，数组做函数参数，结构体类型定义以及结构体变量的定义，联合，指针与结构体变量，二重循环，二维数组，自增运算++，自减运算--，基础知识（背诵），求累加和，交...阅读全文
摘要: 打雷闪电时用电脑（使用计算机）危险吗？ 专家建议要小心低空雷，强雷雨天气下尽量不要上网 一般来说，雷不大是没有关系的。高空雷，即看到闪电后相隔2秒以上后才听到雷声的雷，不太会干扰电网与电线。但对于闪电和雷声间隔小于1.5秒以下的低空雷，你就要小心了。因为这样的雷容易引发瞬时电涌和尖峰电压，这直接对电源提出考验；与此同时，在室外的网线或是电话线一般是没有避雷设施的，低空雷电可能会沿着电源线或者电话...阅读全文