[定义1]相关/relative:按照某种规则，确定二个对象或多个对象之间有关系，称这二个对象或多个对象是相关的。注意:相关性与指定的规则有关

证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference 其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念

Let A and B be sets. A function f from A to B is an assignment of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f : A→B

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

 通路与回路  通路与同构  无向图的连通性  连通度  2-连通图  有向图的连通性  无向图的定向

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

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

1 函数,偏函数,全函数真偏函数 2 单射,满射双射计数问题 3 象,原象 4 常数函数,恒等函数,特征函数,单调函数, 5 自然映射 6 合成(复合)反函数,单边逆(左逆右逆) 7 构造双射(有穷集,无穷集)

 内容1：欧拉图  什么是欧拉图？  欧拉图的充要条件？  如何构造欧拉回路？  内容2：哈密尔顿图  什么是汉密尔顿图？  哈密尔顿图的必要和充分条件？  哈密尔顿图有哪些应用？

第16讲连通度 1.点(边)割集,点连通度K,边连通度入 2. Whitney定理,简单连通图k,,δ之间的关系 3.2-连通,2-边连通的充要条件 4.割点,桥,块的充要条件