计算机数理逻辑命题演算软件的研究被引量：1

A Reseach on Computer Software of Setting Questions Calculations of Mathematics Theory Logic

下载PDF

导出

摘要用计算机解决数理逻辑命题演算中的部分命题表达式的证明问题。 The solution of the proving problems in some proposition formulac of the mathematics logic by computer is discussed.

作者胡一之刘恩久唐南迪

出处《鞍山钢铁学院学报》 1996年第2期33-35,共3页 Journal of Anshan Institute of Iron and Steel Technology

关键词计算机命题演算软件开发数理逻辑 computer,setting questions calculaton,software

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

同被引文献3

1龚静,王青川.数理逻辑在计算机科学中的应用浅析[J].青海科技,2004,11(6):53-55. 被引量：8
2何新军.引进数理逻辑的知识要符合传统逻辑的特点[J].中山大学学报论丛,2002,22(5):17-19. 被引量：1
3许蔓苓.离散数学的方法和挑战[J].计算机研究与发展,2002,39(12):1771-1772. 被引量：12

引证文献1

1靳艳芳,赵彦玲.数理逻辑及其在计算机中的应用[J].赤峰学院学报（自然科学版）,2015,31(23):13-14. 被引量：2

二级引证文献2

1任雪芳,汤积华.数理逻辑中的计算思维能力培养[J].黑河学院学报,2016,7(7):214-216. 被引量：1
2苏昊.浅议数学思想在计算机技术中的应用[J].科技风,2019(3):82-82. 被引量：1

1曹立明,施润身.基于时序逻辑的故障预测[J].上海铁道大学学报,1998,19(12):65-69. 被引量：3
2陈星,林琼,肖光强.命题演算推理的简化方法[J].训练与科技,2008,29(6):59-60.
3高锦标.一种改进的区分矩阵属性约简算法及应用[J].电脑知识与技术（过刊）,2009,15(3X):1876-1877. 被引量：1
4宋方敏,殷熙尧.命题演算两个推理系统的等价性[J].计算机工程与科学,2013,35(9):104-109.
5刘宏岚,高庆狮,杨炳儒.概率命题逻辑中命题相等关系的两个层面与命题演算[J].哲学研究,2009(10):113-120. 被引量：5
6董效林.离散数学证明范式的有效性[J].标准科学,2014(2):51-54. 被引量：2
7毛宇光,曹子宁,任凯,周勇.不完全信息数据库的逻辑基础研究[J].南京航空航天大学学报,2006,38(6):679-686.
8张君.计算机数理逻辑命题演算演示系统的研究[J].信息通信,2013,26(9):114-115. 被引量：1
9商琳,陈世福.基于Rough集的模态语义数据分析[J].计算机科学,2002,29(8):73-75.
10雷英杰,王宝树,王晶晶.直觉模糊条件推理与可信度传播[J].电子与信息学报,2006,28(10):1790-1793. 被引量：15

鞍山钢铁学院学报

1996年第2期

浏览历史

内容加载中请稍等...

计算机数理逻辑命题演算软件的研究被引量：1

同被引文献3

引证文献1

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

计算机数理逻辑命题演算软件的研究 被引量：1

同被引文献3

引证文献1

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

计算机数理逻辑命题演算软件的研究被引量：1