一、数学的研究对象是什么？ 本身已如此一目了然，以致于没有任何词汇能够把他解说得更清楚的事物，绝不要试图给他下定义。以免被所使用的含混不清的词 汇所欺骗

一、等价关系,等价类,商集 二、划分,第二类 Stirling数 三、偏序,线序,拟序,良序 四、哈斯图 五、特殊元素:最?元,极?元,?界,?确界 六、(反)链

 6.1 基本计数原理  6.2 集合的排列  6.3 集合的组合  6.4 多重集的排列和组合  6.5 容斥原理

数学归纳法的公式表示： [P(1) ∧ m(m  1 ∧ P(m) → P(m+1))] →  n P(n) 1、归纳基础：P(1) 2、归纳步骤： m (m  1 ∧ P(m) → P(m+1))

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

一、本部分的主要内容 集合代数----集合的概念和基本运算 关系----二元关系的表示、运算、性质、特殊的关系 函数----函数定义、性质、运算 二、本部分的基本要求 掌握集合及其相关的基本概念 熟练掌握集合以及关系、函数的基本运算 了解和使用基本的证明方法 第一节 集合的基本概念 第二节 集合的运算与集合恒等式

基本概念 集合及其描述 集合相等、子集关系 幂集、笛卡尔乘积 集合运算 交并补、广义交、广义并 集合恒等式 集合相关命题的证明方式 自然数的构造

1.关联矩阵M(D),M(G) 2.用基本联矩阵M(G)求所有生成树 3.邻接矩阵A(D),相邻矩阵A(G) 4.用A的幂求不同长度通路(回路)总数 米 5.可达矩阵P(D),连通矩阵P(G) 6.单源最短路径问题, Dijkstra算法

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

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