查询词典 differential calculus

It designs the assertion language and assertion calculus for Pointer Logic.

这在已存在的比较流行的定理证明器中是不曾实现过的。2。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

Leibniz wrote memoranda that can now be read as groping attempts to get symbolic logic—and thus his calculus—off the ground.

莱布尼茨写了我们现在可认为是探索得到符号逻辑—还有他的微积分—取得进展的备忘录。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

Expressing constraints by logic formulae, we can reason the other constrains of system through logic calculus.

遵循SOP方法学原则，我们设计了抽象数据定义语言ADL和过程控制语言PCL。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算，量词。

We first introduce the state of the art of Web Services Composition, and then analyze the relation between Web Service Composition and related theoretical backgrounds. Concerning the two key technologies, service composition method and service composition system, we demonstrate our work.1. Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.

本文首先对现有的服务组合相关工作做了比较详细的阐述，在分析了语义Web服务自动组合所涉及的主要理论背景之间的关系和作用之后，针对我们所关注的两个主要技术层面——服务组合方法和服务组合系统阐述了我们的工作： 1、在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。