| 第1章 绪论 | 第10-17页 |
| 1.1 研究多值逻辑的意义 | 第10-11页 |
| 1.2 多值逻辑研究的一些新动向 | 第11-13页 |
| 1.2.1 多值逻辑与分子计算机 | 第11-12页 |
| 1.2.2 多值逻辑与VLSI | 第12页 |
| 1.2.3 多值逻辑与光计算机 | 第12页 |
| 1.2.4 多值逻辑与人工智能 | 第12-13页 |
| 1.3 多值逻辑函数结构理论研究 | 第13-15页 |
| 1.4 论文研究的内容与所做的工作 | 第15页 |
| 1.5 论文的结构 | 第15-17页 |
| 第2章 多值逻辑系统简介 | 第17-28页 |
| 2.1 多值逻辑代数系统 | 第17-21页 |
| 2.1.1 Post n值系统 | 第17-18页 |
| 2.1.2 Allen和Givone系统 | 第18页 |
| 2.1.3 Vranesic、Lee与Smith系统 | 第18-19页 |
| 2.1.4 模代数系统 | 第19-20页 |
| 2.1.5 Webb运算系统 | 第20-21页 |
| 2.2 阈值逻辑 | 第21-27页 |
| 2.2.1 二值阈值逻辑 | 第21-22页 |
| 2.2.2 三值阈值函数 | 第22-26页 |
| 2.2.3 三元阈值函数的检验和实现 | 第26-27页 |
| 2.3 本章小结 | 第27-28页 |
| 第3章 多值逻辑函数的结构理论 | 第28-42页 |
| 3.1 完全多值逻辑函数结构理论 | 第28-30页 |
| 3.2 完全二值逻辑函数集 | 第30-31页 |
| 3.3 完全K值逻辑函数集中的准完备集 | 第31-35页 |
| 3.4 部分K值逻辑函数集中的准完备集 | 第35-39页 |
| 3.5 一元K值逻辑函数 | 第39-41页 |
| 3.6 本章小结 | 第41-42页 |
| 第4章 P_2~*中准完备集的最小覆盖 | 第42-51页 |
| 4.1 基本定义 | 第42-45页 |
| 4.2 P_2~*中准完备集之最小覆盖 | 第45-49页 |
| 4.3 部分二值n元Sheffer函数的个数 | 第49-50页 |
| 4.4 本章小结 | 第50-51页 |
| 第5章 部分K值逻辑中准完备集之间的相似关系 | 第51-61页 |
| 5.1 相似关系 | 第51-52页 |
| 5.2 保相似关系的准完备集之间的性质 | 第52-60页 |
| 5.3 本章小结 | 第60-61页 |
| 第6章 部分K值逻辑中准完备集之最小覆盖(Ⅰ) | 第61-84页 |
| 6.1 引言 | 第61页 |
| 6.2 关于保E函数集T_E | 第61-67页 |
| 6.3 关于L型函数集LG_(4，2) | 第67-76页 |
| 6.4 关于拟线性函数集L_P | 第76-83页 |
| 6.5 本章小结 | 第83-84页 |
| 第7章 部分K值逻辑中准完备集之最小覆盖(Ⅱ) | 第84-100页 |
| 7.1 关于正则可离函数集 | 第84-90页 |
| 7.2 关于完满对称函数集 | 第90-92页 |
| 7.3 关于二元单纯可离关系 | 第92-98页 |
| 7.4 本章小结 | 第98-100页 |
| 第8章 结束语 | 第100-102页 |
| 8.1 工作总结 | 第100-101页 |
| 8.2 进一步的研究工作 | 第101-102页 |
| 致谢 | 第102-103页 |
| 攻博期间从事科研项目及主要成果 | 第103-105页 |
| 参考文献 | 第105-110页 |