论文部分内容阅读
介绍了一种得到命题结论的新方法，即通过把逻辑命题的项转化成相应的多项式，然后计算Groebner基,从而得到命题的结论．
一些命题逻辑的Groebner基算法
【摘 要】
：
介绍了一种得到命题结论的新方法，即通过把逻辑命题的项转化成相应的多项式，然后计算Groebner基,从而得到命题的结论．
【机 构】
：
中南大学数学科学与计算技术学院
【出 处】
：
重庆工学院学报(自然科学版)
【发表日期】
：
2007年15期
其他文献
黄金ETF (Exchange Traded Fund),是一种金融衍生产品,它的基础资产为黄金现货,产品价格追踪现货黄金价格。中国证监会于2013年先后批准了国泰黄金ETF(6月24日)、华安黄金ETF
ZK60是目前商用镁合金中强度最高的一种,然而它还存在如绝对强度不够高,塑性不足等缺点。在改善合金塑性的同时,提高合金的强度是镁合金研究与应用中急需解决的关键问题之一
改革开放三十多年来,中国经济高速发展、日新月异,人民的生活水平不断提高,城乡居民的收入也大幅度提高,但是同时城乡居民之间的收入差距也逐渐拉大,收入分配差距过大也日益
无罪推定原则是世界各国公认的现代刑事司法的理念和准则,在保障公民基本人权、铸造法治社会的权威过程中起着十分重要的作用。2012年3月14日,十一届全国人大五次会议审议通
本研究利用新疆早熟陆地棉种质资源的资料和现有研究成果，结合计算机技术及数据库的构建方法，对现存新疆早熟陆地棉种质数据进行分析、归纳、整理、收录等工作，并以SQL Server和
目的：当前脉诊学习仍以课堂教学为主，本课题旨在探讨脉诊教学过程中的不足，以期打破脉诊学习过程中“心中了了，指下难明”的窘境，为脉诊的教学和传承提供一种客观有效的思路和方法
本文通过向ZA43合金中加入合金元素Er、Zr,研究了单独添加合金元素Er和Zr以及Er、Zr复合合金化对ZA43合金组织与性能的影响规律,并对其作用机理进行了探讨。单独添加合金元素
研究了不同品种粗集料配制的不同水灰比混凝土的抗冻性能以及水泥石孔结构，并对两者之间的关系进行了分析。结果表明，吸水率较大的集料有利于降低水泥石孔隙率，而活性较高的集料
简要分析了欧美市场经济国家国有林的管理体制及其改革动向,然后重点对原苏联东欧等经济转轨国家的国有林管理体制改革及其经验教训进行了分析。在此基础上,分析了其对我国国