逻辑的例句大全

On the Method of Logical Sequence in English Writing

谈英语写作中的逻辑顺序法

互联网摘选

This thesis is organized on logical sequence not historic sequence.

本文的分析是基于逻辑顺序而非历史顺序。

互联网摘选

But development did follow a logical sequence.

但是发展确实是遵循了一条符合逻辑的顺序。

provided by jukuu

Then describes the characteristics of the Logical Function Eight Diagrams with examples denoting its application.

然后描述了逻辑函数八挂图的一些特性，举例说明它的应用。

互联网摘选

The logical and fair way to rede-nominate would be to introduce a new European currency unit ( ecu-2).

公平而合乎逻辑的重估方式，将是推出一种新的欧洲货币单位（ecu-2）。

互联网摘选

Logical Analysis on Addition of Dual Odd Numbers ( 10)

双奇数相加的逻辑分析（十）

互联网摘选

Logic analysis on addition of dual odd numbers

双奇数相加的逻辑分析

互联网摘选

The present paper discusses the logic diagram of addition of dual odd numbers and then statically verified the micro-structure of Goldbach's first conjecture.

先讨论双奇数相加逻辑图，然后对Goldbach第一猜想进行微观结构静态验证。

互联网摘选

This dissertation analysed the basic requirements of distributed heterogeneous component repository, made the conceptual analysis and design of the architecture with the method of Abstract State Machine, and proposed the high level logical structure of the ABDC ( Agent Based Distributed Component-repository) architecture.

本文分析了分布式构件库的基本需求，采用抽象状态机的方法进行了架构分析和体系结构的概念设计，提出了系统的高层逻辑结构，并导出了细化的实现方案。

互联网摘选

Cannot delete extended DOS partition while logical drive exist.

当逻辑驱动器存在时，不能删除扩展DOS分区。

互联网摘选

In nonmonotonic logic, injective preferential models play an important role.

单射占优模型在非单调逻辑中具有重要的地位。

互联网摘选

Minesweeper, the logic-based game, originally made its first appearance in the late 1960s but was introduced on the Windows 3.1 version in 1992.

《扫雷》则是一款逻辑游戏，于20世纪60年代后期面世，但直到1992年才在Windows3.1版本中出现。

互联网摘选

Due to complicacy of DTD, it is difficult to study the logical implication of XFD.

由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。

互联网摘选

The simplified WPG are Logic Path Graphs ( LPG).

它简化后成为逻辑通路图。

互联网摘选

The WDG hides logic for communicating with a variety of handheld devices on behalf of the caller.

WDG隐藏了与各类代表调用者的手持设备的通信逻辑。

互联网摘选

This method exposes the hardware power features, which are traditionally masked by VMM, to the primary VM. In this way, matured power management technology can be fully reused and VMM only need a few coordination logics.

该方法将原本被虚拟机监控器所屏蔽的底层电源特征展露给主虚拟机，藉此充分利用操作系统成熟的电源管理技术，而VMM里面只需要少量的协调控制逻辑。

互联网摘选

Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl) Based on Lattice Implication Algebra

基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究

互联网摘选

It consists of a TLL ( temporal logic language) XYZ/ E to serve as its kernel and a suite of software engineering tools.

它由时序逻辑语言（temporal logic language，简称TLL）XYZ/E和以该语言为基础的一组软件工程工具组成。

互联网摘选

A new method for theorem proving of PTL

命题时态逻辑定理证明新方法

互联网摘选

Mitsubishi QnA Series PLC& Safety Logic System

QnA系列PLC与安全逻辑系统

互联网摘选