论文部分内容阅读
用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。
王浩算法的Java实现
【摘 要】
：
用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。
【机 构】
：
贵阳学院计算机科学系,中国人民解放军沈阳炮兵学院电子系
【出 处】
：
科技信息
【发表日期】
：
2010年05X期
其他文献
本文以CLK型旋风分离器为研究对象,利用ANSYS软件,模拟不同参数条件下旋风分离器内总压分布,并分析讨论不同参数对旋风分离器总压降的影响。结果显示,入口气流速度越大,压降
供水安全问题历来是各级政府都高度重视的问题,是供水企业生产经营中以人为本的具体体现,城市供水系统的生命线。需要采取措施,对从水源、水厂、配水管网到二次供水设施的各
股骨粗隆间骨折好发于老年人,因为该部位的骨质为海绵质骨。近年来,各种内固定手术在股骨粗隆间骨折的治疗中广泛应用,但由于老年人患有多种疾病,长期卧床可导致系列并发症,
为研究探索全科医师培训的新途径,提高全科医师培训效益,结合多年来的工作实际,采取问卷调查、征求意见和座谈等形式,对当前全科医师培训存在的主要问题及影响因素等做出调查
岩土工程是一个综合产品,其质量问题是一个复杂的、涉及面较广的问题。本文作者结合自己多年的工作经验,对岩土工程施工技术的特点以及应用现状作出阐述,最后对期选用原则和