格和特殊格的不同条件等价定义
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-7页 |
| 序言 | 第7-9页 |
| (一) 格的起源、发展及用途 | 第7-8页 |
| (二) 最近格等式方面发表论文简述 | 第8-9页 |
| 第一章 定义及定理简述 | 第9-11页 |
| (一) 文中主要专业术语的定义 | 第9-10页 |
| (二) 文中所用定理简要介绍 | 第10-11页 |
| 第二章 格的不同条件等价定义等式 | 第11-14页 |
| (一) 引言 | 第11页 |
| (二) 格的六条件等价定义等式 | 第11页 |
| (三) 格的四条件等价定义等式 | 第11-13页 |
| (四) 格的三条件等价定义等式 | 第13页 |
| (五) 格的单一等价定义等式 | 第13-14页 |
| 第三章 分配格的不同条件等价定义等式 | 第14-18页 |
| (一) 引言 | 第14页 |
| (二) 不同长度不同变量的分配格等价定义等式 | 第14-17页 |
| (三) 最短最少变量的分配格等价定义等式 | 第17-18页 |
| 第四章 模格的几种二条件等价定义等式 | 第18-25页 |
| (一) 引言 | 第18页 |
| (二) 不同长度不同变量的模格等价定义等式 | 第18-24页 |
| (三) 最短最少变量的模格二条件等价定义等式 | 第24-25页 |
| 第五章 有1分配格及模格的不同条件等价定义等式 | 第25-28页 |
| (一) 最短最少变量的有1分配格等价定义等式 | 第25页 |
| (二) 不同长度不同变量的有1模格等价定义等式 | 第25页 |
| (三) 最短最少变量的有1模格等价定义等式 | 第25-28页 |
| 结束语 | 第28-29页 |
| 参考文献 | 第29-31页 |
| 致谢 | 第31-33页 |
| 攻读硕士学位期间发表的学术论文 | 第33页 |