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

来源 :数学研究 | 被引量 : 0次 | 上传用户:kwzheng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ等价于一个开式子.定理2 无原子布氏代数的初等型Γ(x1,…,xn)是由型内的不含量词的全体开式子所唯一决定.定理3 无原子布氏代数的一个长度为n的语句的判断过程所消耗的Turing时间和空间都是属于22cn指数级.
其他文献
我们利用重合度理论,讨论了一类时滞Logistic方程周期正解的存在性,获得了一个新结果,改进了某些相关的结果.
目的:通过对门诊部发生的用药差错分析,发现在执行医嘱过程中存在的问题,运用医院信息系统(HIS)再造医嘱处理流程,降低护理差错的发生。方法:通过运用医院信息系统再造医嘱处理流
目的:观察高压氧结合药物联合治疗和单纯药物治疗慢性牙周炎的临床疗效比较,以及对牙周炎临床生物学指标的影响差异。方法:选择25例成人慢性牙周炎初诊患者,共120颗牙齿,4mm≤P
饭店要在激烈的竞争环境中生存与发展,离不开公众的信任、支持与合作。公共关系就是通过大众认可的行为方式来开展双向信息交流,获取公众的信任和赞许,帮助饭店树立一个良好形象
细辛脑注射液主要成分为细辛脑,性状为淡黄色的澄明液体,儿童用药未进行实验,且无可靠参考文献对本品过敏者禁用,故在临床应用中要严密观察,遵循用药原则。现将1例细辛脑注射液致
铁磁谐振是电力系统运行过程中的一种常见现象.频繁发生在中性点非直接接地的配电网和中性点直接接地的高压电力网中。为研究其过电压和过电流带给电力设备的损害.分析了单相铁
主要对定义在一般数域上的3-幂零矩阵的相似等价类的个数问题进行探讨.从中得出n阶3-幂零矩阵秩的范围、n价3-幂零矩阵的相似等价类的个数的计算公式,以及秩为r的所有n阶3-幂零
《高压电器》编委会2007年年会暨第9届编委会第1次会议于2007年8月9~13日在成都召开。西安高压电器研究所高级顾问、《高压电器》编委会名誉委员李肇林同志主持了会议,国务院三
类风湿关节炎属于中医“痹证”的范畴,主要是风寒湿热之邪内侵,引起肢体、关节疼痛、酸楚、麻木,有渐进性或反复发作的特点,对称性多关节炎是其主要表现。西医认为该病是一种慢性
目的:探讨复方丹参滴丸治疗冠心病心绞痛的临床疗效。方法:将我院2010年3月一2012年9月间收治的108例冠心病心绞痛患者随机分为硝酸异山梨酯治疗组(对照组)和复方丹参滴丸治疗组(