查询词典 predicate logic

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

This method combined with logic and game theory can achieve the balance between negotiation logic rationality and utility rationality and dynamically adjust utility and deal with irredeemable problems.

在此提出基于遗忘理论的多问题协商，结合逻辑学和对策论的方法，达到了Agent协商逻辑理性和效用理性的平衡。

Jevons's foundation to the probabilistic inductive logic, until the system of modern probabilistic inductive logic which Carnap represents.

内容摘要：概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

Karnaugh map plays an important role in the simplification of logic function and the design of logic circuit.

卡诺图在逻辑函数的化简和逻辑电路的设计中，有着重要作用。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

In digital circuit, methods to express logic function consist of:True table, the function expresses type, logic diagram and Karnaugh Map.

在数字电路中，逻辑函数的表示方法有：真值表，函数表达式，逻辑图以及卡诺图。

In arithmetic figure electric circuit, the logic function means that the method has:True worth form, the function expresses type, logic diagram and Karnaugh Map.

在数字电路中，逻辑函数的表示方法有：真值表，函数表达式，逻辑图以及卡诺图。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

Agent ; KARO logic framework ; commitments ; dynamic logic

主体； KARO逻辑框架；承诺；动态逻辑

There are two types of gold deposits in this area, namely altered rock type and quartz vein type.

本区金矿床包括两种类型：柴胡栏子金矿床为蚀变岩型金矿；莲花山和红花沟金矿床属石英脉型。

You were home and it was two weeks ago.

你回到了家里。当时是两周前。