命题逻辑中子句集的分类研究

摘要	第6-7页
Abstract	第7页
第一章 绪论	第10-15页
1.1 研究背景和研究意义	第10-11页
1.2 国内外研究现状	第11-12页
1.3 本文的主要工作和章节安排	第12-15页
第二章 基础知识	第15-21页
2.1 命题逻辑中子句和文字的基本概念	第15-16页
2.2 命题逻辑中子句集的简化方法	第16-17页
2.3 命题逻辑中的归结方法	第17页
2.4 冗余子句和冗余文字	第17-19页
2.5 本章小结	第19-21页
第三章 命题逻辑的子句集中文字的冗余性研究	第21-35页
3.1 子句集中文字的分类	第21-25页
3.2 子句集中文字的冗余性判定	第25-32页
3.3 文字的冗余性判定算法及程序实现	第32-34页
3.4 本章小结	第34-35页
第四章 命题逻辑的子句集中子句的冗余性研究	第35-43页
4.1 基本理论	第35-37页
4.2 子句集中子句的冗余性判定	第37-40页
4.3 子句的冗余性判定算法	第40-42页
4.4 本章小结	第42-43页
第五章 总结与展望	第43-45页
5.1 论文总结	第43页
5.2 展望	第43-45页
致谢	第45-46页
参考文献	第46-51页
附录 文字冗余性和子句冗余性判定程序	第51-55页
攻读硕士学位期间发表的论文	第55页