逻辑的例句大全

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

A semantic data modeling technique is employed to represent the logical organization of engineering design data.

本文采用语义数据建模技术表示工程设计数据的逻辑组织结构。

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

Adopted a three-tier structure designed to include performance layer, business logic and data access tier layer.

采用三层架构设计,包括表现层, 业务逻辑访问层和数据层.

If you like logical puzzles, this is the right game mode for you.

匹配如果你喜欢逻辑难题, 这就是给你量身定做的游戏.

A three-valued logic neuron model and its applications in uncertain reasoning

三值逻辑神经元模型及其不确定性推理应用

The Table for Three-Level Orthogonal Experiment and Three-Valued Logic

三水平正交试验用表与三值逻辑

Three Valued Model Checking on Modal Transition Systems

模态转移系统的三值逻辑模型检验

Three Valued Logic Neuron Model and Its Reasoning

三值逻辑神经元模型及推理

A Simplified Design of a Mixed Level I~ 2L Three Valued Logic Circuit

混合级I~2L三值逻辑电路的简化设计

There fore, the extremely complicated mathmatical problem is transformed to a simple three valued combinational logical design.

这样，把一个极为复杂的数学问题转化成一个简单的多值组合逻辑设计的问题。

We will take our word-game scripts one step further working with a difficult logic by building a complex anagram generator, a crypto solver, and more.

我们将通过构建一个复杂的变位词生成器、解码器等，进一步处理文字游戏脚本的复杂逻辑。

And semantic association, logic thinking and memory are the effective ways to realize the discourse understanding.

而语义联想、逻辑思维和记忆能力是实现语篇理解的有效方法。

A function/ logic language implementation technique with reduction semantics

函数／逻辑语言归约实现技术

About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.

关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。