论文部分内容阅读
量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及有限覆盖证明了完全二叉树的理论可以量词消去.
完全二叉树的量词消去
【摘 要】
：
量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及有限覆盖证明了完全二叉
【机 构】
：
北方交通大学计算机与信息技术学院,北京,100044北京师范大学数学系,北京,100875;
【出 处】
：
数学学报
【发表日期】
：
2003年1期
其他文献
考虑一阶脉冲泛函微分方程非线性边值问题,利用上下解方法和单调迭代技术得到了耦合解和唯一解存在的充分条件.所得结果改进和推广了文献的相关结果.
1921年7月23日,中共一大在上海秘密召开,宣告了中国共产党的诞生.在12名党的创始人中,有两名来自济南,一个是王尽美,另一个是邓恩铭.他们还与青岛建党、建团,有着深厚的渊源.
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
本文给出了第四类华罗庚域HEIV上的Bergman核函数,全纯自同构群以及semi-Reinhardt域上的完备标准正交函数系.
文章根据劳动经济学的派生需求理论,证明工资通过4个渠道对劳动力就业造成影响.文章的实证分析表明,工资水平的上涨对于中国制造业出口部门的就业有显著正向影响;中国制造业
比较分析在垄断力量存在时市场均衡及最优资源分配的各种情形就会发现,垄断力量和市场扭曲的方向并没有显著的关系,在弹性不变的效用函数情形下,市场解能达到有约束的帕累托
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
作为电视台记者,在我的采访生涯中,迄今共有8次赴台湾工作的经历.由于工作内容多为历史题材,我在台湾采访过许多人物,收集过众多史料. 但追踪调查一把日军“百人斩”凶刀的经
期刊
在数学教学中,教师一定要把握住关键问题,创设生活情境,激活学生思维;开展多样的活动,深化学生思维;鼓励多元表达,灵动学生思维;有效拓展延伸,开阔学生思维.