节点文献

用特征列证明推理的一个方法

免费订阅

【作者】 洪港王礼萍张树功

【Author】 HONG Gang;WANG Li-ping;ZHANG Shu-gong;Department of Basic Education,East University of Heilongjiang;School of Science,Harbin University;College of Mathematics,Jilin University;

【机构】 黑龙江东方学院基础教研部哈尔滨学院理学院吉林大学数学学院

【摘要】 将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。

【基金】 黑龙江省教育厅科学技术研究项目(11553065);黑龙江高等学校教改工程项目(JG2012010514)
【所属期刊栏目】 数理科学与信息技术 (2014年01期)
  • 【DOI】10.13482/j.issn1001-7011.2014.01.211
  • 【分类号】O141
  • 【下载频次】35
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: