一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

3.1 系统的数学模型 3.2 系统的时域分析 3.3 系统的根轨迹分析 3.4 系统的频域分析 3.5 系统的性质分析 3.6 离散系统的分析

1. 函数f(x)以离散点列给出时，而要求我们给出导数值， 2. 函数f(x)过于复杂 这两种情况都要求我们用数值的方法求函数的导数值 微积分中，关于导数的定义如下：

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

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

北京大学：《离散数学》教学详细计划 Discrete Mathematics

兰州理工大学：《系统仿真技术》PPT讲义课件_第10章 离散事件系统仿真基础（刘军、剡昌锋）

定理 3-1：对于固定信道，平均互信息 I(X;Y) 是信源概率分布 p(x)的∩型凸函 数。 定理 3-2：对于固定信源分布，平均互信息 I(X;Y)是信道传递概率 p(y|x)的∪型凸函 数。 定理 3-3：设离散信道的输入序列 X＝ (X1X2…XN)通过信道传输，接收到的随机序 列为 Y=( Y1Y2…YN)，而信道的转移概率为 p(y∣x)