| 第一章 前言 | 第1-13页 |
| 1．1 课题研究的意义与论文工作简述 | 第7-10页 |
| 1．2 计算机科学及其与离散数学的关系 | 第10-11页 |
| 1．3 前人在本课题研究领域中的成果简述 | 第11-13页 |
| 第二章 离散数学的体系结构 | 第13-29页 |
| 2．1 从数理逻辑到集合论 | 第13-18页 |
| 2．2 从集合论到数理逻辑 | 第18-29页 |
| 第三章 集合论导引 | 第29-76页 |
| 3．1 运算定律与集合成员表法证明 | 第29-35页 |
| 3．2 等势定理的证明和实数理论 | 第35-48页 |
| 3．3 由形式语言的BNF公式(产生式)引向计算机科学的应用 | 第48-59页 |
| 3．4 函数 | 第59-64页 |
| 3．5 序概念的引申 | 第64-71页 |
| 3．6 其它内容 | 第71-76页 |
| 第四章 代数体系 | 第76-94页 |
| 4．1 基本概念 | 第76-82页 |
| 4．2 程序部分 | 第82-87页 |
| 4．3 有限域和编码的关系 | 第87-94页 |
| 第五章 图论 | 第94-107页 |
| 5．1 图论基本概念 | 第94-96页 |
| 5．2 有向图 | 第96-97页 |
| 5．3 无向图 | 第97-98页 |
| 5．4 欧拉图和哈密顿图 | 第98-100页 |
| 5．5 特殊图 | 第100-103页 |
| 5．6 其它 | 第103-107页 |
| 第六章 数理逻辑 | 第107-120页 |
| 6．1 计算机科学与数理逻辑的关系 | 第107-114页 |
| 6．2 消解原理 | 第114-117页 |
| 6．3 逻辑程序设计Prolog | 第117-120页 |
| 结论与体会 | 第120-121页 |
| 参考文献 | 第121-125页 |
| 附录 | 第125-128页 |
| 致谢 | 第128-129页 |
| 攻读学位期间发表的学术论文目录 | 第129页 |