逻辑演算

hypothetical syllogism

假言三段论

Pearson认为,这种逻辑发源于古希腊哲学巨匠Socrates,后在Aristotle那里得到了系统的表述,近代又在Boole和Peirce那里被转化成相应的数理演算模式. 形式逻辑最具代表性的是"假言三段论"(hypothetical syllogism),具体体现在下面的推导公式里:

logic calculus

逻辑演算

"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"

optical logical operation

光論理演算

optical logic 光学逻辑电路 | optical logical operation 光論理演算 | optical loss 光損失

logical variable

逻辑变量 IN FOPC(一阶谓词演算)

115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答

logistical regression

逻辑斯谛回归

逻辑斯谛分布|logistic distribution | 逻辑斯谛回归|logistical regression | 逻辑演算|logical calculus

Naturalism and Historicism

自然主义和历史主义

2. Naturalism and Logical Calculus 自然主义和逻辑演算 | 3. Naturalism and Historicism 自然主义和历史主义 | 4. Essences and Historical Perspectives 本质及其历史展望

proof theory

证明论

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

propositional calculus

命题演算

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

predicated response

预测响应

predicate logic language 谓词逻辑语言 | predicated response 预测响应 | predicative calculus 谓词演算

predicated response

猜测响应

predicate logic language 谓词逻辑语言 | predicated response 猜测响应 | predicative calculus 谓词演算

functional catches：活动把手生耳

回零针 fly-back hand | 混合表 combo watch | 活动把手生耳 functional catches

parametric linear programming：参数线性规划

参数模型|parameter model | 参数线性规划|parametric linear programming | 参数最优化|parameter optimization