查询词典 logic

It is very related among epistemology, logic and psychology while we are researching student's thinking.

研究儿童的思维活动时，认识论、逻辑学和心理学三者的关系是密切相关的。

In this paper architecture of 1MB EPROM with special reading and writing method and key logic design is given.

本文给出了一个有特殊读写方式的1MBEPROM的结构和关键部分的逻辑设计。

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

Furthermore, we analyze and explain the growth phenomenon of individuals' code length in genetic inductive logic programming. On the basis of the research about equivalence class problem existing in first-order rule mining, we propose a fitness function based on information gain.

此外，我们还对自己提出的GILP算法运行中的个体编码生长现象进行了研究，并在对一阶规则挖掘中的等价类问题的研究基础上，提出了基于信息赢取的适应度函数。

This paper proposed an issue on existing heterogeneous knowledge reuse based on the solution of knowledge reuse of knowledge equivalent mapping from knowledge representation level, since existing knowledge representation and ontology knowledge representation weren't on the same base of logic system.

由于已有知识表示和本体知识表示并不在同一逻辑体系基础上，从知识表示层面提出了一种基于知识等价映射的知识重用方法解决对已有异构知识的重用问题。

This is just a fallacy of equivocation in Logic.

这个符号在这里有不同的意义。

Add suitable error handling and recovery logic depending on you use..

根据您的使用情况添加适当的错误处理和恢复逻辑。

Software Description: About Moraffs Escapade, This is an animated arcade and logic game.

Moraffs Escapade 这是一款动画街机和逻辑游戏。

Secondly,how to represent knowledge by means of Escher,which is a typed higher-order logic programming language is demonstrated and three kinds of learning algorithm is introduced.

1引言归纳学习的目的在于发现样例与离散的类之间的映射关系，发现的映射关系不仅能准确地解释当前给定的样例，还要能准确地预测新的样例。

The third part expounds the objections and arguments to essentialism and logic necessity.

第三部分则主要论述了对本质主义和逻辑必然性的诘难、辩护的观点。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。