逻辑演算
- 与 逻辑演算 相关的网络解释 [注:此内容来源于网络,仅供参考]
-
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 谓词演算
- 推荐网络解释
-
photoperiodic response:光周期响应
photoperiodic induction 光周期诱导 | photoperiodic response 光周期响应 | photoperiodism 光期性
-
Multi-Variate Statistical Analysis:多元统计剖析
311. 多项距阵 Multi-Nominal Matrix | 312. 多元统计剖析 Multi-Variate Statistical Analysis | 313. 发电厂 Power Plant
-
bioactive peptides:活性多肽
有效部位:Bioactive fraction | 活性多肽:bioactive peptides | 活性筛选:Bioactive screening