北京大学：《离散数学》离散数学之二：《代数结构与组合数学》引言（主讲：屈婉玲）

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

Tavlor公式 多项式是一类很重要的函数,其明显特点是结构 简单,因此无论是数值计算还是理论分析都比较方便 从计算的角度看,只须加、减、乘三种运算,连除法 都不需要,这是其它函数所不具备的优点。 用多项式近似地表示给定函数的问题不仅具有实 用价值,而且更具有理论价值。一般的函数不好处理 先用较好处理的多项式近似替代,然后通过某种极限 手续再过渡到一般的函数

函数的极值及其求法 由单调性的判定法则,结合函数的图形可知, 曲线在升、降转折点处形成“峰”、“谷”,函 数在这些点处的函数值大于或小于两侧附近各点处的函数值。函数的这种性态以及这种点,无论在理论上还是在实际应用上都具有重要的意义, 值得我们作一般性的讨论

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

最大值、最小值问题 在生产实践中,为了提高经济效益,必须要 考虑在一定的条件下,怎样才能是2用料最省, 费用最低,效率最高,收益最大等问题。这类问 题在数学上统统归结为求函数的最大值或最小值 问题。最值问题主要讨论问题的两个方面:最值 的存在性;最值的求法

一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

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

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

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》