前言 | 第1-21页 |
第一章 多值逻辑函数的完备性理论综述 | 第21-38页 |
第一节 完全多值逻辑函数 | 第21-26页 |
第二节 部分多值逻辑函数 | 第26-30页 |
第三节 Sheffer函数 | 第30-36页 |
第四节 多值逻辑研究的一些新动向 | 第36-38页 |
第二章 部分K值逻辑中Sheffer函数的判定 | 第38-56页 |
第一节 完满对称函数集中在最小覆盖中的成员 | 第38-45页 |
第二节 单纯可离函数集中在最小覆盖中的成员 | 第45-50页 |
第三节 几类不是最小覆盖成员的函数集 | 第50-56页 |
总结与展望 | 第56-57页 |
参考文献 | 第57-61页 |
攻读硕士学位期间公开发表的论文 | 第61-62页 |