§1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

§1格的概念 §2分配格 §3有补格 §4*布尔代数

本篇用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质（包括格）。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

◼ §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)()