首页> 中文期刊> 《福建电脑》 >命题逻辑及谓词逻辑推理证明中的化归法

命题逻辑及谓词逻辑推理证明中的化归法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

离散数学中的命题逻辑及谓词逻辑在计算机科学中有着广泛的应用.本文,提出了一种用于命题逻辑及谓词逻辑推理证明中统一的方法--化归法

著录项

来源
《福建电脑》 |2009年第9期|167-168|共2页
作者
张锦华;
展开▼
作者单位

昆明工业职业技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
命题逻辑; 谓词逻辑; 化归法;

相似文献

中文文献
外文文献
专利

1. 中介命题逻辑MP和中介谓词逻辑MF的可靠性 [J] . 潘正华 . 自然杂志 . 1989,第008期
2. 课程思政融入离散数学的教学设计探讨——以命题逻辑推理为例 [J] . 谢印芬 . 科教导刊-电子版（下旬） . 2020,第005期
3. 案例教学法在命题逻辑推理论证中的应用 [J] . 刘丽艳 . 计算机教育 . 2016,第005期
4. 基于多级分离技术求解命题逻辑推理的粘贴DNA算法 [J] . 李红 ,袁太生 ,田国瑞 . 现代工业经济和信息化 . 2015,第004期
5. 命题逻辑推理问题的代数化求解 [J] . 黄伟亮 ,黄勇 ,丁汀 . 河南科技大学学报（自然科学版） . 2010,第006期
6. 命题逻辑推理的一个代数化证明方法 [C] . 王礼萍 . 全国第十五届离散数学学术研讨会 . 2010
7. 谓词逻辑推理中的Petri网应用 [A] . 耿霞 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号