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