论文部分内容阅读
本文尝试利用纯代数的方式，通过解多项式方程组对命题逻辑进行演算、推理。
命题逻辑推理的代数化证明
【摘 要】
：
本文尝试利用纯代数的方式，通过解多项式方程组对命题逻辑进行演算、推理。
【机 构】
：
哈尔滨学院数学与计算机学院,吉林大学数学学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年10期
【基金项目】
：
哈尔滨学院学科发展基金资助项目(HXK200717)
其他文献
利用1957-2016年永春国家一般气象站的日降水量资料,通过气候统计计算气候倾向率,分析永春近60年的年、季、月降水量气候特征。研究降水对荔枝生长发育的影响,合理利用气候资
会议
一、日本柔道的历史战国时代结束,江户时代开始,作为武术之一的柔术就已经有所发展了。明治维新以后,在柔术的练习者逐渐减少的情况下,刚刚从官立东京开成学校(之后的东京大
简朝亮的《论语集注补正述疏》以洽于经义为旨归，折衷汉宋精粹，不但补朱注之略，而且正朱注之讹谬，所作述疏深入浅出，解读翔实，代表了清季及民国初年《论语》研究的最高水平，具有重要
针对变压器微机纵差保护中的电流互感器比例系数的调整以及互感器接线极性校对等问题，介绍了几种自适应方案。对于零序差动保护的CT极性检测和校对问题，文中提出了两种自适应参
公交候车时间容忍阈值反映的是出行者能够容忍的最长候车时间.研究公交候车时间容忍阈值有助于我们更好地理解出行者对候车时间的感知和态度,从而采取针对性的对策提高公交吸
金代女真族具有尚武精神,而且具有娴熟的骑射技能。为了能够将尚武精神和骑射技能得以发扬和传承,金代将其列为体育教育的主要内容,这也使金代体育教育具有非常鲜明的历史特
本文对智能考勤系统的硬件选择标准、智能考勤系统软件实现功能进行了论述,最后对智能考勤系统维护及使用进行了说明,以期能够引导不同的用户选择适合自己的智能考勤系统。
<正>国网安徽省电力有限公司青阳县供电公司(以下简称"青阳公司")在创建"全能型"乡镇供电所的过程中,始终以"流程管控、客户服务、档案闭环"为管理重心点,在全县范围内推广"
期刊