完备布尔代数理论的计算复杂性

来源 :北京师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lkjall
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运用改进的Ehernfeucht games理论,适当定义了范数和囿函数,给出了无原子布尔代数理论的一个判定过程,利用这个结果,直接构造出完备布尔代数的判定过程,并且分析了它们的复杂度。
其他文献
本文结合大学新生心理问题状况,分析大学新生心理冲突的原因,并提出心理调适的几条对策。目的就是帮助大学新生顺利度过大一阶段的心理调适期,更好地完成大学学业。
利用大孔树脂D001分离纯化还原型谷胱甘肽,其最佳试验条件为:pH值4.5、浓度为0.02mol/L的磷酸缓冲液平衡,pH值7.5、浓度为0.02mol/L的磷酸缓冲液洗脱,洗脱流速为2.0mL/min.此法所得到的粗
3月6日,惠普宣布推出全新染料墨水打印机惠普DesignjetD5800。该打印机在惠普同类产品中速发最快,可靠性更高,并具备更强大的介质处理功能。
测定了盛花期石榴完全花和雄花的泌蜜量和糖浓度,并分析比较二者的泌蜜特点.结果表明:完全花单朵平均泌蜜量为44.66μL,雄花单朵泌蜜量为19.43μL,二者差异极显著(t=12.6,P〈0.0001);完全
儿童教育是陶行知教育思想体系中的重要构成之一,是陶行知研究的重点内容。文章以CNKI期刊数据库中1984~2017年间关于陶行知儿童教育研究的论文为数据来源,运用CiteSpace这一
引入“秩”的概念,证明了“秩”同类的非线性发展方程具备Jacobi椭圆函数展开形成的解,而“秩”异类的非线性发展方程不具备此类型的解,但不论“秩”同类还是异类的非线性发
摘 要:“一再”和“再三”两词的语义和用法接近。在句法上,二词存在一些较为显著的差异;在语义上,二词有细微的不同之处。“一再”表示的“一次一次”可以有较长的时间跨度,动作次数之间也可以有较长的时间间隔,而“再三”表示的“一次一次”重在短时间内动作次数的反复。“再三”有表集中量的“多次”义,“一再”没有。  关键词:“一再” “再三” “频率副词” 句法差异 语用、语义差异    前言  “一再”和
利用CH1660B电化学工作站替代恒电势仪,采用线性扫描法测定碳钢在碳酸铵溶液中的钝化曲线,结果显示:该方法与传统测定方法相比,具有操作简便、灵敏度和精度高、数据处理方便等优
系统地研究了同向抽运光纤拉曼放大器的增益特性,并对分析增益的数值模拟和求解析解2种方法进行了比较.采用龙格库塔法的算法对增益进行数值仿真,分析了所有参量在小信号和大信