首页> 中文期刊> 《南京大学学报：数学半年刊》 >极小蕴涵和析取范式表示

极小蕴涵和析取范式表示

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题．本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质，并阐述了极小蕴涵和极小析取范式表示在模型检测中的应用．

著录项

来源
《南京大学学报：数学半年刊》 |2006年第2期|P.282-290|共9页
作者
陈新宁; 陈振宇;
展开▼
作者单位

连云港师范高等专科学校数学系,连云港225002;

东南大学计算机科学与工程学院,南京210096;

展开▼
原文格式 PDF
正文语种 CHI
中图分类数理逻辑（符号逻辑）;
关键词
蕴涵; 析取范式极小化; 计算复杂性;

相似文献

中文文献
外文文献
专利

1. 极小蕴涵和析取范式表示 [J] . 陈新宁 ,陈振宇 . 南京大学学报（数学半年刊） . 2006,第002期
2. 基于极小析取范式的属性约简算法 [J] . 索中英 ,程嗣怡 ,苟新禹 . 空军工程大学学报（自然科学版） . 2012,第006期
3. 蕴涵的决策蕴涵表示研究 [J] . 王亚丽 ,翟岩慧 ,张少霞 . 计算机科学与探索 . 2021,第007期
4. 格蕴涵代数中的极小素理想及α-理想 [J] . 孟彪龙 ,付巧峰 ,梁少辉 . 计算机工程与应用 . 2018,第016期
5. (l)1范数极小化的稀疏表示模型与算法 [J] . 钱胡茜 . 宜宾学院学报 . 2017,第006期
6. 基于"修正的概率和"蕴涵算子的重心法模糊系统及其概率表示理论 [C] . 张宁 ,袁学海 ,李洪兴 . 2010年模糊数学与模糊系统第十五届年会 . 2010
7. 基于决策蕴涵的蕴涵表示研究 [A] . 王亚丽 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号