期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
完全二叉树理论的模型及性质 被引量：8
1
作者 陈磊 沈复兴 《北京师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期177-180,共4页
定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1
关键词 完全二叉树理论 原子模型 饱和模型 型 ω1-范畴
下载PDF
完全二叉树理论的可数模型及其胞腔性
2
作者 王世琪 《南京大学学报（数学半年刊）》 CAS 2007年第2期238-243,共6页
本文将在逻辑L_(w1,w)中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式,证明了完全二叉树理论的可数模型的胞腔性质。
关键词 完全二叉树理论 Scott语句 超齐次结构 胞腔结构
下载PDF
完全二叉树理论的计算复杂度 被引量：2
3
作者 李志敏 罗里波 李祥 《数学学报（中文版）》 SCIE CSCD 北大核心 2008年第2期311-318,共8页
完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中... 完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中n为输入长度,c,d为合适的常数). 展开更多
关键词 完全二叉树的一阶理论 有界Ehrenfeucht-Fraissé博弈 计算复杂度
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部