logic semantics的例句大全

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

Syntax and operational semantics of recursive programs based on predicate logic

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

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.

本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。

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

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

This paper deals with the background of the celebrated Goodman's new riddle of induction and the logic and semantics of predicate grue. A Venn's diagram of predicate grue is presented.

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。

Using 5 Valued Logic Under Complete Semantics of Null Value

空值完全语义下五值逻辑的使用

Agent Logic and the True-False Subset Semantics

Agent逻辑和真假子集语义

And logic syntax and semantics in MLMS are given.

讨论了MLMS的模态逻辑语义和语法。

The format is classified into non-logical formula and logical formula in the semantics perspective;

然后从语义关系上来看，格式分为事理式和逻辑式两类；

Nonmonotonic Logic Based on Three-Valued Semantics

基于三值语义的非单调逻辑

an intensional semantics for first-order logic

一阶逻辑的内涵语义

default logic based on four valued semantics

基于四值语义的缺省逻辑