◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系

§1图的基本概念 §2路与回路 §3图的矩阵表示 §4欧拉图和汉密尔顿图 §5平面图 §6树与生成树

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

离散数学(又称计算机数学)是现代数学的 重要分支,是计算机专业课程中的核心基 础课程之一。 离散数学以是研究:离散量的结构和相互之 间的关系为主要目标,其研究对象一般为 :有限或可数个元素(例如:自然数、整 数、真假值、有限个结点等),而离散性 也是计算机科学的显著特点

第五章 欧氏空间 第六章 线性变换 第七章 二次型与二次曲面二次型及其标准形 正定二次型线性变换的概念 线性变换和矩阵 特征值与特征向量 线性变换的不变子空间,象与核 内积 , 欧氏空间Rn 标准正交基 向量积与混合积 R 中直角坐标系下直线与平面方程 空间曲面, 空间曲线及其方程

一、判断题 1两共线矢量a与b的矢性积的模等于以与b为边所构成的 平行四边形的面积() 2两矢量a与b共线的充要条件是axb=0() 3矢量a{X1,F,Z}与b{X2,H2,Z2}相互垂直的充要条件是 x1X2+YY2+2122=0() 4两矢量a与b相互垂直的充要条件是a·b=0() 5矢性积是反交换的,即a×b=-(b×a)()

第六章线性变换 第一节线性变换的概念 第二节线性变换和矩阵 第三节特征值与特征向量 第四节线性变换的不变子空间,象与核

第五章欧氏空间 第一节内积,欧氏空间R 第二节标准正交基 第三节向量积与混合积 第四节R3中直角坐标系下直线与平面方程 第五节空间曲面,空间曲线及其方程

第七章二次型与二次曲面 第一节二次型及其矩阵表示 第二节正交变换 第三节用正交变换化次型为标准形 第四节用配方法化次型为标准形 第五节,正定二次型