无原子布氏代数理论的计算复杂性

来源 :数学研究 | 被引量 : 0次 | 上传用户：kwzheng

【摘要】

：

研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ等价于一个开式子.定理2 无原子布氏代数的

【作者】

：

罗里波

【机构】

：

广东女子职业技术学院计算机系

【出处】

：

数学研究

【发表日期】

：

2004年2期

【关键词】

：

无原子布氏代数量词消去法模型数计算复杂性 Boolean algebra without atomic elements complete quanti

【基金项目】

：

广东女子职业技术学院校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ等价于一个开式子.定理2 无原子布氏代数的初等型Γ(x1,…,xn)是由型内的不含量词的全体开式子所唯一决定.定理3 无原子布氏代数的一个长度为n的语句的判断过程所消耗的Turing时间和空间都是属于22cn指数级.

其他文献

一类时滞Logistic方程周期正解的存在性

我们利用重合度理论,讨论了一类时滞Logistic方程周期正解的存在性,获得了一个新结果,改进了某些相关的结果.

期刊

时滞LOGISTIC方程周期正解存在性重合度理论FREDHOLM算子Coincidence degree Logistic equation Fr

再造门诊输液医嘱处理流程提高患者用药安全

目的：通过对门诊部发生的用药差错分析,发现在执行医嘱过程中存在的问题,运用医院信息系统（HIS）再造医嘱处理流程,降低护理差错的发生。方法：通过运用医院信息系统再造医嘱处理流

期刊

门诊输液流程再造二维码洁净室

电网铁磁谐振的产生机理与10kV配网铁磁谐振的小波分析

铁磁谐振是电力系统运行过程中的一种常见现象．频繁发生在中性点非直接接地的配电网和中性点直接接地的高压电力网中。为研究其过电压和过电流带给电力设备的损害．分析了单相铁

期刊

铁磁谐振过电压小波变换ferromagnetic resonance overvoltage wavelet transform

3-幂零矩阵的相似等价类的计数

主要对定义在一般数域上的3-幂零矩阵的相似等价类的个数问题进行探讨．从中得出n阶3-幂零矩阵秩的范围、n价3-幂零矩阵的相似等价类的个数的计算公式，以及秩为r的所有n阶3-幂零

期刊

k-幂零矩阵3-幂零矩阵JORDAN标准型秩整数分拆k-nilpotent matrix 3-nilpotent matrix Jordan＇s

通痹汤治疗类风湿性关节炎56例疗效观察

类风湿关节炎属于中医“痹证”的范畴，主要是风寒湿热之邪内侵，引起肢体、关节疼痛、酸楚、麻木，有渐进性或反复发作的特点，对称性多关节炎是其主要表现。西医认为该病是一种慢性

期刊

通痹汤类风湿性关节炎

复方丹参滴丸治疗54例冠心病心绞痛患者的临床疗效观察

目的：探讨复方丹参滴丸治疗冠心病心绞痛的临床疗效。方法：将我院2010年3月一2012年9月间收治的108例冠心病心绞痛患者随机分为硝酸异山梨酯治疗组（对照组）和复方丹参滴丸治疗组（

期刊

冠心病心绞痛复方丹参滴丸硝酸异山梨酯临床疗效

无原子布氏代数理论的计算复杂性

其他学术论文