逻辑

proof theory

证明论

在证明论(proof theory)和相关的数理逻辑的领域中,一个形式的演算(caluclus)相对于一个特定的逻辑(即相对于它的语义(semantics))是完备的,如果任何由一组前提Q根据语义导出的陈述P,都可以从这组前提出发利用这个演算语法地(syntactically)导出.

propositional calculus

命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

Puzzle

困惑

传统的西方经济理论带给人们的困惑(puzzle)根源于它的逻辑路径. 西方经济学以"稀缺性"(scarcity)作为自己研究的逻辑起点,把经济学定义为"一门研究作为目的和具有不同用途的稀缺手段之间关系的人类行为的科学"(莱昂内尔罗宾斯,

quantitative

定量的

但是,作为专家,除了我们白丁自己都能做的逻辑上的,或定性的(qualitative)分析之外,他们应该给我们定量的(quantitative)分析. 我喜欢这句话"除了我们白丁自己都能做的逻辑上的,或定性的(qualitative)分析之外,他们应该给我们定量的(quantitative)分析.

quiescent

静态

进入物理恢复,每个前映象写回到磁盘上正确的位置上,一旦完成后,逻辑恢复开始,并处理上次检查点之后逻辑日志中记录所对应的事务,如果快速恢复非正常结束,或是不能让OnLine进入静态(Quiescent)方式,则让OnLine进入脱机(off-line)方式,

ratiocination

推理

● 推理(Ratiocination)法:推理是由一个或几个已知的判断推出一个新的判断的思维形式. ● 归纳(Induction)法:归纳是从个别对象中概括出一般的原理的逻辑方法. ● 演绎(Deduction)法:演绎是从一般的原理中推断出个别结论的逻辑方法.

Relational Operator

关系操作符

合就成了描述 VHDL 算术或逻辑运算的表达式其 中操作数是各种运算的对象 而操作符规定运算的方式 4.4.1 操作符种类在 VHDL 中 有四类操作符 如表 4-1 所示 即逻辑操作符(Logical Operator) 关系操作符(Relational Operator) 算术操作符(Ar

restricted

限制性

本文将回顾这场由布鲁克勒发动的仔细检查怀疑论论证的逻辑结构的运动,并为这样一种观点提供辩护:在逻辑上不充分决定性原理与演绎闭合原理互不蕴涵;同时,我们应该区分两种类型的怀疑论论证--整体(global)怀疑论假设论证和限制性(restricted)怀疑论假设论证.

SAR

算术右移

2.关于逻辑右移(SHR)、算术右移(SAR)、循环右移(ROR)及带进位循环右移(RCR)4条指令的区别. 2.关于逻辑右移(SHR)、算术右移(SAR)、循环右移(ROR)及带进位循环右移(RCR)4条指令的区别.

scaling

定标

TLC548和 TLC549的其他特点包括通用控制逻辑,可自动工作或在微处理器控制下工作的片内采样保持电路, 具有差分高阻抗基准电压输入端, 易于实现比率转换 (ratiometricconversion) 定标 , (scaling) 以及与逻辑和电源噪声隔离的电路.

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI