复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）05/32

复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）04/32

复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）02/32

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

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

7.1 引言 7.2 采样过程的数学描述 7.3 信号恢复 7.4 Z变换理论 7.5 采样系统的数学模型 7.6 离散控制系统分析 7.7 数字控制器的设计 7.8 Matlab在离散系统中应用

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

一、关系运算性质(续) 二、关系矩阵,关系图 三、自反,反自反,对称,反对称,传递

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

第一章 命题逻辑