英语人>网络解释>逻辑演算 相关的搜索结果
网络解释

逻辑演算

与 逻辑演算 相关的网络解释 [注:此内容来源于网络,仅供参考]

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