第1章 数理逻辑<br>1.1命题演算<br>1.2重言式<br>1.3范式<br>1.4编译技术中波兰式与逆波兰式的表示<br>1.5命题演算的推理理论<br>1.6谓词演算<br>1.7谓词演算的推理理论<br>1.8谓词演算在人工智能中的应用<br>第2章 集合论<br>2.1集合论的基本概念<br>2.2集合的运算及文氏图<br>2.3关系和偏序<br>2.4函数<br>2.5递归函数<br>第3章 抽象代数<br>3.1代数系统及其运算<br>3.2同构和同态<br>3.3同余<br>3.4积代数<br>3.5半群和独异点<br>3.6群<br>3.7群码与纠错码<br>第4章 格和布尔代数<br>4.1格的概念<br>4.2格的性质<br>4.3格是一种代数系统<br>4.4子格、直积和同态<br>4.5几种特殊的格<br>4.6布尔代数<br>4.7布尔表达式和布尔函数<br>4.8布尔代数在逻辑电路设计中的应用<br>第5章 图论<br>5.1图的基本概念<br>5.2图的矩阵表示<br>5.3平面图<br>5.4树<br>5.5图论在计算机科学中的应用
展开