equational

英式音标：[ɪ'kweɪʃənəl]

美式音标：[ɪ'kweɪʒənəl]

词汇分类：耶鲁大学公开课：心理学导论 1-20课

词义：

adj.

方程式的，均分的；

用法：

权威例句

Building in equational theories

Proofs by induction in equational theories with constructors

Proofs by induction in equational theories with constructors

Rewrite-based Equational Theorem Proving with Selection and Simplification

Specification and proof in membership equational logic

Complete Sets of Reductions for Some Equational Theories

Deciding Knowledge in Security Protocols Under Equational Theories

Membership algebra as a logical framework for equational specification

Membership Algebra as a Logical Framework for Equational Specification

Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations ☆

造句：

1. The Equational sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.

等式句与对等句是两种从形式上看上去极为相似的句式。

youdao

2. This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。

youdao

3. Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.

本文用这种方法讨论可分离函数及不可分离函数的实现问题。

youdao

4. The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

提出的所谓质流相似法，不同于传质相似理论中方程分析法和量纲分析法。

youdao

5. By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.

本文通过构造迭代函数，利用逐次逼近的方法给出了一类方程根的存在性与唯一性的判断的一种解决方案。

youdao

6. Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

配合了现在市面上五花八门、尺寸不再单一的图书，打破了传统书架的固定框架，空间均分的局限性，使用起来方便自如。

youdao

7. Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

配合了现在市面上五花八门、尺寸不再单一的图书，打破了传统书架的固定框架，空间均分的局限性，使用起来方便自如。

youdao