南京大学：《离散数学》课程教学资源（PPT课件讲稿）关系、函数及其运算

内容1：容斥原理 内容2：鸽笼原理 内容3：排列与组合

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

5.1 引言 5.2 采样过程的数学描述 5.3 信号恢复 5.4 Z变换理论 5.5 采样系统的数学模型 5.6 离散控制系统分析 5.7 Matlab在离散系统中应用

第一节 格的定义与性质 第二节 分配格、有补格与布尔代数

 图的定义  图模型  图的术语  几种特殊的图  二部图 （偶图）  图的运算  图结构上的经典问题

第一章 命题逻辑

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值