1) dense binary orders theory
完全稠密二叉偏序
1.
This paper is the first in a series to prove the quantifier elimination of dense binary orders theory.
给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质。
2) complete partial order
完全偏序
1.
In this paper,the intuition behind complete partial order,continuous function and fixed point are presented;the construction of the least fixed point and its approximating solution are introduced.
本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法。
3) complete binary tree
完全二叉树
1.
Complete Binary Tree Nodes and Leaves Number Relation;
完全二叉树总结点数与叶结点数关系分析
2.
In this paper,a new coding scheme was proposed,which was based on the sequence of its complete binary tree.
在对于现有编码机制进行综述的前提下,提出一种新的XML文档编码机制,该编码机制基于完全二叉树的结构顺序编码。
3.
Combined with complete binary tree architecture,a new identity-based group key agreement protocol is proposed in this paper.
文中结合完全二叉树结构,提出了一种新的基于身份的群密钥协商协议。
4) fully binary tree
完全二叉树
1.
A simple and convenient method to judge a fully binary tree;
完全二叉树的实时判别方法
2.
According to binary tree level traversal principle, this article embarks from fully binary tree s definition and the nature,and proposes a method to judge fully binary tree on the basis of traversing binary tree.
从完全二叉树的定义及性质出发,根据二叉树的层次遍历原则,提出了一种遍历法判断完全二叉树的方法。
5) complete intersection
完全交叉
6) first-order theory of a complete binary tree
完全二叉树的一阶理论
1.
The first-order theory of a complete binary tree is decidable by the quantifier elimination, we also know the CB rank of elements of a complete binary tree.
完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩。
补充资料：完全偏序
完全偏序
complete partial order
如果对S的每个上界y还都有x(y，则称x为S的上确界。如果5的上确界存在，则它必是唯一白勺。 设S为偏序集D的非空子集。如果对任意的J，y任S，都必有:〔S使x蕊2且y镇z，则称5为定向的。如果偏序集D满足:(1)D有最小元，(2)D的每个定向子集都在D中有上确界，就称D为一个完全偏序。 平坦偏序集总是完全偏序。其它一些完全偏序的例子有:具有最小元的有限偏序集;aJ序数连同定义在其上的小于等于关系“镇”;集合S的幂集连同定义在其上的包含关系“二”;实单位闭区间〔O，1」连同定义在其上的小于等于关系“钱”。 设
- 是一个完全偏序，称为
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条