逻辑的

ADM

箭线图法

进度计划控制 活动排序 硬逻辑依赖关系:活动之间的固有依赖关系 软逻辑依赖关系:项目团队可以自行确定的依赖关系 外部依赖关系:项目活动同非项目活动之间的依赖关系 四种方法: 前导图法(PDM) 箭线图法(ADM) 条件图法( GE

syntax error

语法错误

3监错设计和防错设计 广义的说,程序中的错误有两类,语法错误(Syntax Error)和逻辑错误(Logic Error),本文中,我们主要讨论后者(严格地说,只是后者的一个子集),即在代码成功通过编译后由于设计逻辑上的缺陷带来的程序非法情况.

transitive

传递性

需要指出的是,这些知识具有这样的逻辑特征,首先,这些序关系的知识都具有完全性(complete)和传递性(transitive). 其次,这些知识之间具有相互推理的逻辑关系. 关于行动的序关系可以用概率分布和效用函数推导出来.

truth value

真值

三、逻辑上的客观与主观:认为特定种类的言说具有客观性,若且唯若我们可以将"真值"(truth value)赋予这类言说中的陈述. 如果完全不可能这么做,那么此类言说就是逻辑上主观的. Marmor对此提出了不同的见解. 其关键在于将客观主义与前述的实在主义脱钩,

truthvalue

真值

三、逻辑上的客观与主观:认为特定种类的言说具有客观性,若且唯若我们可以将"真值"(truthvalue)赋予这类言说中的陈述. 如果完全不可能这么做,那么此类言说就是逻辑上主观的. Marmor对此提出了不同的见解. 其关键在于将客观主义与前述的实在主义脱钩,

tweak

拧

通过宣称(declarative)事务分离这两个会更干净, 所以我们能拧(tweak)和调(tune)我们的中间件,而且 不会影响我们的商业规则. 6.差的开发角色的分离. 一个通用的在大型项目的实践 把表示层逻辑程序员的开发任务(如serlet和jsp开发者) 和商业逻辑/中间件程序员(EJB开发者)分离开来.

universal class

全类

康托尔(Cantor)证明没有最大的基数,将这一证据用于全类(universal class),就会导致不把自身包含在内的类与类之间的矛盾. 他所碰到的难点是由这一问题引起的:在把数学归为逻辑之后,他发现逻辑本身存在着一些尚未得到解决的矛盾. 比如,

Living Fossils

活化石

现今还有很多所谓"活化石"(living fossils)的生物,我们用各种不同的方法测试,也看不出它们跟几百万年前的祖先有什么分别. 帕特森并不是进化论学者中唯一认为自然选择论可以纯粹用逻辑推论证明的人. 其他应用逻辑宣扬他们学说的人似乎比帕特森更崇拜自然选择.

critical philosophy

批判哲学

他们认为,"批判哲学"(Critical Philosophy)和"场所哲学(Topical Philosophy)在方法上的对立,就表现在对语言和直觉的不同态度上. 以笛卡为代表的批判哲学强调语言、逻辑对于认识真理的优先性,而以维柯(Giambattista Vico)为代表的场所哲学则强调直觉胜于逻辑,

venn diagram

范氏图

1881年英国数学家范恩(John Venn, 1834-1923)出版的<<符号逻辑>>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

Senior Chief made the swim to the Aleutian Islands：军士长游泳去了阿留申群岛

Some people actually believe|有些人真的相信 | Senior Chief made the swim to the Aleutian Islands.|军士长游泳去了阿留申群岛 | He's standing on a distant beach somewhere|此时他正在某个遥远的海滩

plebeianism：庶民风格

plebeian 平民 | plebeianism 庶民风格 | plebiscitary 平民表决法令的