论文部分内容阅读
判定问题是普遍认为的一个重要问题.而该文讨论的量词消去法,它主要的作用就是证明一个理论是可判定的.
论量词消去法和它在判定证明中的运用
【摘 要】
：
判定问题是普遍认为的一个重要问题.而该文讨论的量词消去法,它主要的作用就是证明一个理论是可判定的.
【机 构】
：
西南大学
【出 处】
：
西南师范大学 西南大学
【发表日期】
：
1997年期
其他文献
农作物种子的安全使用,是关系到农民增收和农村稳定的大事,我国已出台了一系列的法律、法规来保障这一目的实现,作为种子执法部门肩负着不可推卸的责任。严格执法是必需的,可
科学技术是第一生产力,是推动经济发展和社会进步的主要动力.在中国由计划经济和市场经济转变的过程中,围绕科技进步会出现许多新的社会关系和预告,急切需要通过国家和地方立
生态危机作为人类与自然关系中矛盾冲突的一种可怕后果，在当代日益凸现出对人类的巨大反击力量和严重威胁。生态危机的全球化，使全人类对于自身的生存安全有了更强烈的紧迫感。
该文仅以近、现代物理学的重大发现为背景,探讨决定论的兴衰与物理学发展的直接联系,并通过对机械决定论和非决定论的批判,阐明马克思主义辩证决定论是决定论的科学形态.
该文第一部分以价值哲学为理论前提,阐述了道德价值在价值体系中的地位,由此分析义利论的价值内涵;第二部分从道德价值角度系统地论述传统义利利论的产生、演变与最终义利传
震撼音效 画面逼真rnSHIELD不仅支持摇杆操作,也可直接触屏操作,触屏的反应很灵敏.再说下显示方面,SHIELD是水平视图,但是很多应用不支持横屏,比如《密室逃脱》.MI在玩《密室
该论文重点放在研究西部国有企业增长方式转变的系统思路,这是一个新课题.该论文的第一部分首先阐述了经济增长方式的内涵以及两种增长方式的界定,然后从中外对比、东西对比
提高音响系统的音质在不少技术人员心中似乎觉得已没有多少新概念了,只有用高档芯片高档设备才行。但国外一些大品牌的MP3、组合音箱或平板电视机的伴音等音质要比中国国产品