论文部分内容阅读
本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。
数理逻辑论证形式有效性算法
【摘 要】
：
本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。
【机 构】
：
青海民族大学
【出 处】
：
理论数学
【发表日期】
：
2019年3期
【基金项目】
：
青海民族大学探究课程项目,项目编号:2018-TJKC-01
其他文献
常减压蒸馏装置对能量的消耗是极其的大,一般会在炼油生产过程中占到三分之一的比重。因此,如何将常减压蒸馏装置进行有效的降耗节能工作,是当下石油领域需要解决的问题。通
本文利用亚纯函数的Nevanlinna理论研究了高阶复微分齐次方程的无穷级整函数解的增长性,估计了方程解的超级、超下级的上界和下界。
本文研究描述一类肉芽肿瘤生长的自由边界问题,它由定义在移动区域上的相互耦合的抛物型和双曲型方程组构成。我们首先将自由边界问题转换成固定边界上的问题,然后利用抛物型
设D = (X, B)是一个5-(q + 1, 6, λ)设计。若G ≤ Aut(D)且区传递作用在D上,利用二维射影线性群在射影直线上作用的轨道证明了:1) 若G = PGL(2, q),则D为同构意义下唯一的5-
设X为局部紧致度量空间,f:X→X是同胚映射。本文主要证明如下两个结论:1) 若对?x∈X,ω(x)≠?,K?X为紧致强不变集,且存在一个紧致邻域Q,使得QK包含不完整负轨道,则K是渐进稳
本文介绍了先进的陶瓷焊补炉墙技术，重点讲述了这种陶瓷焊补技术在焦炉维护实践中的意义、特点、效果、如何实施、问题和生产管理经验，在结合佳华陶瓷焊补炉墙经验的基础上，对捣
近年来,随着社会经济快速发展以及人们的生活水平不断提高,人们对居住环境要求也在不断的提高,这就要求现代建筑设计在符合基本的功能需求的基础上,还得满足人们日益增长的生
<正> 三、计算机医院管理信息系统的基本结构一个完整的医院信息系统的基本结构如图2所示。图中每个方框代表一个职能单位,称模块。每个模块由若干个具备某项具体功能的子系
本文简要总结了新投产M区块Y油层加密调整方案,介绍了产能区块开发的储层特征、流体性质、油藏类型,分析了目前存在的储层憋压严重、水井注水压力高、水井吸水能力差、措施增