本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

1.1 拉格朗日插值公式 1.2 牛顿插值公式 1.3 埃特金插值公式 1.4 存在惟一性定理 1.5 插值余项 1.6 分段三次埃尔米特插值 1.7 三次样条插值 1.8 应用实例

本章讨论的关系是我们通常的诸 如大小关系、整除关系、上下级 等关系的共同的数学模型，掌握 关系运算极其关系运算的性质、 实际意义.深入理解关系、关系图、 关系矩阵之间的联系，熟练地掌 握两类特殊的关系—等价关系与 偏序关系；熟练地用Warshall算 法求关系的传递闭包；理解映射 的意义，本章为第三、六、七章 的基础

1.1 拉格朗日插值公式 1.2 牛顿插值公式 1.3 埃特金插值公式 1.4 存在惟一性定理 1.5 插值余项 1.6 分段三次埃尔米特插值 1.7 三次样条插值 1.8 应用实例

本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

集合是现代数学各分支的共同基础，当 然也是本书的基础，读者应熟练地掌握 本章的全部内容，本章的一些内容，如 集合的并、交、Venn图等已在中学及 大学的其他课程中学习过，但为了内容 的完整及这些内容基础地位，我们没有 省略这些内容

第七章中规模通用集成电路及其应用 集成电路由SSI发展到MSI、LSI和VLSI,使单个芯片 容纳的逻辑功能越来越强。 一般来说,在SSI中仅是基本器件(如逻辑门或触发器) 的集成,在MSI中已是逻辑部件(如译码器、寄存器等)的 集成,而在LSI和VLSI中则是一个数字子系统或整个数字 系统(如微处理器)的集成

第一节格的概念(1) 第一节格的概念(2) 第二节有余格与分配格 第三节布尔代数

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理