论文部分内容阅读
本文利用量词消去理论证明了后继函数理论是完全的。
量词消去法在完全理论证明中的应用
【摘 要】
：
本文利用量词消去理论证明了后继函数理论是完全的。
【出 处】
：
淮北煤师院学报：自然科学版
【发表日期】
：
1998年2期
其他文献
随着铁路列车速度的大幅提升,机车信号在保证列车高速可靠运行中起着至关重要的作用,站内轨道电路电码化可靠工作、准确无误发码直接影响着机车信号的正确显示。铁路信号轨道
本文对波动方程初边值外问题提出一种有效的数值算法，首先将控制方程对时间进行离散化，得到时间步长离化格式，进而对每一时间步长求解一椭圆型外问题。引入一条圆周人工边界Γ０，通
面对新的形势、新的要求,寻求一条具有时代特点,符合学校实际的发展新思路,提高学校管理的效能,是每一个学校管理者必须面对而又亟待解决的新问题。以“理性主义”为基石的科
期刊
高校精品课程建设是一项系统工程。今后的建设工作，除了加大投入以外，主要应加强思想建设，以进一步解决“理念缺位”等问题；加强队伍建设，以进一步解决“素质缺陷”等问题；加强教学
本文给出一类偏序指标的集值鞭和下映的可选抽样定理。
近年来,城市化进程的迅速发展,推动了市政工程的建设和发展,市政工程的规模不断扩大,加剧了对能源的消耗和浪费,不利于我国可持续发展战略的实施。在市政工程中电气系统和设
假设M是一个具有可分预对偶的von Neumann代数（特别是有限的von Neumann代数），End(M)是它的自同态半群，给End(M)赋以U－拓扑，我们证明了当Φ是正规的忠实态时，End(M)是End(M)的闭子集
本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界。
本文用三种完全不同的方法构造了Ｒ＾ｎ中三类分形集：（１）Ｈａｕｓｄｏｒｆｆ维数为整数ｋ≤ｎ的分形集；（２）Ｈａｕｓｄｏｒｆｆ维数ｓ∈「０，ｎ」的分形集；（３）包括胖分形与瘦分形的一类分形集，并着重讨论了它们的各种容度特征。
摘要： 本文对避雷器相间耦合模型进行了简单的研究和分析，并对避雷器相间耦合电容干扰屏蔽方法进行了介绍。同时，结合了实际应用案例，对这一方法应用的可靠性以及有效性进行了验证，希望可以为相关人员提供一定的帮助。 关键词： 避雷器; 相间耦合; 电容; 干扰; 屏蔽方法 中图分类号： TM531.3 文献标识码： A 文章编号：1005—7277（2019）04—006