Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
HOL is more expressive than first-order logic and enables a concise description of complex properties.
HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The descriptions of adjective logic types disagree in high-order logic, contacting presupposition, we try to unify the logic description of adjectives.
高阶类论语言中形容词的逻辑类型描写不一致，本文从汉语似矛盾句实例出发，联系预设因素，尝试统一形容词的逻辑类型描写。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
Some would think that with or logic, the order of the predicates wouldn't make a difference since they both must be applied anyway.
有些人可能会认为，由于有OR逻辑，谓词的顺序不会造成差别，因为不管怎样它们都会被应用。
The application management logic will calculate the minimum actions that the system needs to execute in order to update the application with the least disruptive impact.
应用程序管理逻辑将计算出系统需要执行的最小的动作，以便在更新应用程序的时候达到最小的负面影响。
The resultant composite application consists of service invocations with flow logic to manage the execution order of the individual services.
最后得到的组合应用程序由带有管理单个服务执行顺序的流逻辑的服务调用组成。
The reason the sequence diagram is so useful is because it shows the interaction logic between the objects in the system in the time order that the interactions take place.
序列图是如此好用的理由是，因为它按照交互发生的时间顺序，显示了系统中对象间的交互逻辑。
The Oriental logic accepts the primordial void or chaos as the ultimate reality and, paradoxically, for this very reason, prefers organic social order with each element in its proper place.
东方的逻辑认为原始的虚空或混沌是终极现实，而相悖的，正因为这个重要的原因，偏爱于万物归其位的有组织的社会秩序。
Involves number and computing skills, recognizing patterns and relationships, timeliness and order, and the ability to solve different kinds of problems through logic.
包括计数和运算技能、识别图式和关系，时间和次序以及运用逻辑解决各种各样问题的能力。
Service requestors are components that call services exposed by service providers in order to fulfill internal logic.
服务请求者是组件，它调用由服务提供者发布的服务来实现内部逻辑。
It would be very advantageous for you to be able to write and test new order handling logic without risking breaking one of the existing business rules.
对你而言，如果能够书写并且测试一些新的订单处理逻辑而不用冒着破坏现有业务规则的风险将会是一件非常有利的事情。
The JDBC code in Listing 1 includes no transaction logic, yet it persists the trade order in the TRADE table in the database.
清单1中的JDBC代码没有包含任何事务逻辑，它只是在数据库中保存TRADE表中的交易订单。
Transactions running on this system implement business logic and access data necessary for order entry and customer relationship management (CRM).
运行在这个系统上的事务将实现业务逻辑，并且还要访问订单录入和客户关系管理(CRM)所需要的数据。
The mediation logic inside the OrderProcessing module takes the ProductItem object and turns it into a logical attachment of the Order object.
OrderProcessing模块内的中介逻辑接受ProductItem对象并将其转化成Order对象的一个逻辑附件。
The Flow Order primitive has been introduced in V7 to enable deterministic branch firing logic within a mediation flow.
V7已经引人了FlowOrder原语，以使确定性分支能够在中介流内启动逻辑。
The Order business object will be passed between the components as they perform our business logic. The Order business object will contain the following attributes.
Order业务对象将在组件执行业务逻辑时在组件间进行传递。
Only when the event handler has finished its business logic, it updates the global variable result in order to return the result to MainScope.
只有事件处理程序完成了其业务逻辑后，它才会更新全局变量result，以将结果返回到MainScope。
The logic is that parse will look first for a string, then for an integer, and finally for a real, in that order, in the input stream.
这里的逻辑是parse将在输入流中首先查找一个字符串，然后查找整数，最后查找一个实数。
OrderProcess is a process component that contains the business logic for the order request.
OrderProcess是一个过程组件，其中包含订购请求的业务逻辑。
In a blog post from Dallas, Texas-based software startup CodeLathe, the company behind Tonido, the author writes, "the current trend belies the logic and natural order of things."
位于达拉斯的软件公司CodeLathe(即Tonido的母公司)在其博客上写道：“当前的趋势背离了逻辑和正常规律。”
In order resolve this problem, the application would have to have logic to ignore duplicate messages — not impossible but definitely annoying.
为了解决这个问题，应用程序必须具备一些逻辑来避免重复消息。不是不可能但是非常麻烦。
When asynchrony is used, often partners will embed their own correlation logic within their message protocol in order to coordinate which response correlates to which request.
当使用异步通信时，合作伙伴常常将自己的相关逻辑嵌入到消息传递协议中，以调整响应与请求之间的对应关系。
应用推荐