| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 前言 | 第10-14页 |
| 第1章 计量逻辑学与密码学中布尔函数的简介 | 第14-26页 |
| ·计量逻辑学基本理论 | 第14-19页 |
| ·二值命题逻辑系统L中的计量逻辑理论 | 第14-17页 |
| ·多值Lukasiewicz命题逻辑系统L_n与Luk中的计量逻辑理论 | 第17-19页 |
| ·多值R_0—逻辑系统￡_n~*与￡~*中的计量逻辑理论 | 第19页 |
| ·密码学中的布尔函数介绍 | 第19-26页 |
| ·布尔函数的表示 | 第19-22页 |
| ·几类特殊的布尔函数 | 第22-26页 |
| 第2章 计量逻辑学中的反射变换和仿射变换 | 第26-46页 |
| ·￡~*计量逻辑中的反射变换 | 第26-33页 |
| ·￡~*中的反射变换 | 第26-29页 |
| ·反射变换下的近似推理 | 第29-31页 |
| ·￡~*-Lindenbaum代数上的反射变换 | 第31-33页 |
| ·经典计量逻辑中的仿射变换 | 第33-46页 |
| ·(0,1)—矩阵和(0,1)—行列式 | 第33-38页 |
| ·(⊥,Τ)—矩阵 | 第38-41页 |
| ·L中的仿射变换 | 第41-46页 |
| 第3章 计量逻辑学中的线性逻辑公式 | 第46-58页 |
| ·经典逻辑度量空间中的线性逻辑公式 | 第46-51页 |
| ·一类代数次数等于k的布尔函数所对应的逻辑公式 | 第51-58页 |
| 第4章 计量逻辑学中的对称逻辑公式 | 第58-106页 |
| ·Shannon展开式的推广及其在多值逻辑公式范式表示中的应用 | 第59-86页 |
| ·Shannon展开式的推广 | 第59-62页 |
| ·n值Mcnaughton函数的范式表示 | 第62-76页 |
| ·n值Mcnaughton函数的计数问题 | 第76-83页 |
| ·L?中逻辑公式的构造及其逻辑等价类的计数问题 | 第83-86页 |
| ·三值计量逻辑学中的对称逻辑公式 | 第86-106页 |
| 第5章 计量逻辑学中的雪崩逻辑公式 | 第106-120页 |
| ·经典逻辑系统中的雪崩逻辑公式 | 第106-117页 |
| ·密码学中雪崩布尔函数个数的上界与下界估计 | 第117-120页 |
| 总结 | 第120-122页 |
| 参考文献 | 第122-130页 |
| 致谢 | 第130-132页 |
| 攻读博士学位期间的科研成果 | 第132-133页 |
