论文部分内容阅读
本文从数理逻辑语义角度出发,论述了反证法也是一种严密可靠的推理方法,这有益于更好地理解和掌握反证法.
反证法的逻辑基础理论
【摘 要】
：
本文从数理逻辑语义角度出发,论述了反证法也是一种严密可靠的推理方法,这有益于更好地理解和掌握反证法.
【出 处】
：
上海海关学院学报
【发表日期】
：
2001年2期
其他文献
宏观财政政策有需求管理型和供给调节型两种,需求管理型财政政策一般适用于发达国家,对发展中国家并不适用,发展中国家的财政政策应是供给调节型的,这种政策致力于开发和有效
本文从合肥海关转关货物占有较大比例的实际出发,提出并分析了以堆场管理数据为依据,由虚拟转关中心实施数据自动审核或启运地报关指运地查验的数据再分配简化二次转关手续的
本文试图通过旧中国通商银行成立前后的历史事实，揭示旧中国海关在中国金融近代化过程中的影响，作者及二者的早期关系。中国金融近代化是一个历史发展的必然趋势。但是，由于受到
在介绍有关加工贸易商品消耗定额的基本概念的基础上,提出了应用指数分析原理和统计推断原理对加工贸易商品消耗定额实施动态的量化管理。
财政学研究政府行为和目标的经济学,海关是政府的一个部门,海关工作的质量直接影响到财政政策的执行效果,因此,财政学在海关院校的教学中具有十分重要的地位。本文从财政学的
本文介绍了分布式数据库技术的基本原理,通过对海关通关作业系统分布式数据库的构架设想,展示了分布式数据库技术在海关通关作业系统中的广阔应用前景。