论文部分内容阅读
独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。
一个一阶逻辑公理系统独立性的证明
【摘 要】
：
独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
1994年1期
其他文献
对航空装备现场使用质量和可靠性信息的特点进行了阐述，并介绍其软件系统的组成和功能。着重讨论系统中用外场数据估计产品可靠性参数的分析、处理方法及此系统数据库的设计
本文从句法变换与语用、修辞的关系切入,对<中国文法要略>的修辞观进行一个侧面的观察.文章重点讨论了汉语节律和语气对句法形式的影响.
用数值模拟的方法对旋转状态下涡轮叶片前缘冷却结构进行了数值研究,该结构由进气腔、叶片尾缘块和前缘块构成,对此结构不同的旋转速度情况进行了计算,根据计算结果分析了旋
对二种离散系统仿真建模方法，三阶段法和活动周期图进行系统的介绍，分析与讨论，指出它们的特点，应用情况及最新发展，三阶段法是分析研究仿真问题的一种世界观，具体反映在仿真软件及
为了保护喀斯特山区兰科植物资源多样性,本文采用文献研究与实地调查相结合的研究方法,对贵州喀斯特山区花江大峡谷兰科植物种类组成、区系特征和分布格局进行调查分析,研究
以团头鲂细胞因子信号传导抑制蛋白1(SOCS1)基因socs1a和socs1b为编辑对象,在线分析并筛选出合适的靶点合成向导RNA (guide RNA, gRNA),然后对1~2细胞期的团头鲂胚胎进行gRNA
由于军机的水平航迹规划必须考虑飞机作战生存性和执行任务的有效性，并且借鉴 实时性，所以成为较特殊的优化问题，应用多重尺度奇异摄动法简化了水平航迹规划问题，构成了战术飞行
通过大量的仿真，发现现行的滤波算法各有其利弊，在综合考虑和分析各种滤波方法之后，在理论推导的基础上，提出了一种新的控制滤波发散的方法，即通过判定发散的判据，求出噪声统计的估
为加速海南省高疟区市县控制疟疾进程，从１０个高疟区市县抽选１０个历年疟疾发病较高，地形较复杂的乡镇作为疟疾防治试点，采用建立健全抗疟组织，充实人员设备，落实病灶区和散发区不同的抗