logic的例句大全

Logic rules are made up of the law of Identity, non-contradiction, excluded middle add sufficient evidence.

逻辑规律是关于思维的逻辑形式的规律，它由同一律、不矛盾律、排中律和充足理由律组成。

互联网摘选

At present textbooks of logic in different editions all give indistinct field limitation for the law of non-contradiction and the law of excluded middle and meanwhile expression of basic contents of the two laws is not clear and simple.

目前，多种版本的逻辑学教材，均对不矛盾律和排中律适用范围的界定模糊不清，对这两条基本规律基本内容的表述，也不明确、不全面。

互联网摘选

Borrow the famous post-modern thinkers Baudrillard, the French view, from the edia, the arts to politics, permeates the logic of fashion, fashion as an important contemporary society characterized.

借用著名后现代思想家法国人鲍德里亚先生的观点，从媒介、艺术到政治，无不渗透着时尚的逻辑，时尚成为当代社会的一种重要表征。

互联网摘选

The paper presents a modified adaptive Kalman filter which uses two FLCs ( fuzzy logic control) to adjust the integrating modes of the two systems.

因而提出了一种新的基于模糊逻辑控制的自适应卡尔曼滤波器。

互联网摘选

Fuzzy logic controller ( FLC) had been effectively used in many areas. However, the conventional FLCs with fixed control rules will not perform well due to the lack of self-study or adaptive ability.

模糊控制已成功的应用于很多领域，但传统的模糊控制器的控制规则固定，由于缺乏自学习或自适应能力而限制了其控制效果。

互联网摘选

Artificial intelligence systems have been reviewed, which include problem-solvers, expanded predicate logic, expert systems and intelligent CAD systems in FGCS. This paper shows that introduction of artificial intelligence in CAD is an important development tendency.

本文概述了CAD中的人工智能系统，包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能CAD系统，表明在CAD中引进人工智能技术是其重要发展趋势。

互联网摘选

In Distributed functional plane, there is one set of distributed service logic ( DSL) per SIB and it uses Function Entity Actions ( FEAs) and information flows.

在分布功能平面中，分布业务逻辑（DSL）是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流；

互联网摘选

The FDEA algorithm introduces the fuzzy logic into classical DEA methods, and the algorithm take the weight of the input and output as variables to evaluate the web source quality, so that it can avoid the effect of subjectivity to the result.

FDEA方法将模糊逻辑引入经典的DEA方法，该算法是以输入输出指标的权重为变量进行评测，从而有效避免了人为确定指标权重的主观因素对评测结果的影响。

互联网摘选

The purpose of metaphysics is the metaphysical knowledge with clear proof, which depends on the expression and argument of logic.

形而上学所要成就的是具有明证性的形上之知，而形上之知的成立只有依靠逻辑的表达和论证。

互联网摘选

This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

互联网摘选

Therefore, the three basic laws are not applicable to orthodox mathematical logic.

故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.

互联网摘选

He made fundamental contributions to quantum mechanics, functional analysis, and mathematical logic.

他在量子力学 、 功能分析和数学逻辑方面做出了基础性的贡献.

互联网摘选

Calculus of the mathematical logic of the grammar part.

演算的研究组成了数理逻辑的语法部分.

互联网摘选

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

互联网摘选

We think, the incident of reduction of state-owned stocks is the watershed where the logic changes.

文章认为 国有股 减持事件是逻辑出现变化的分水岭.

互联网摘选

Science and art indivisible. Science embodies plenty of art thinking and art contains reasonable logic thinking.

艺术与科学有着不可分割的关系, 科学渗透着丰富的艺术思维,艺术蕴涵着缜密的逻辑思维.

互联网摘选

By their very nature, these functions have similar or, ideally, shared logic.

由于它们的本性, 这些方法有相似的,或者理想状态下有共享的逻辑.

互联网摘选

In electronics, a gater is often used to refer to a logic gate circuit, such as an AND gate, an OR gate, or a NOT gate.

在电子学中，“gater”通常用来指逻辑门电路，如与门、或门或非门。

互联网摘选

Software Design for Embedded Real-Time Systems, Logic Design , and Computer Architecture.

软件设计嵌入式 实时 系统, 逻辑设计, 计算机体系结构.

互联网摘选

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算.

互联网摘选