电子工业出版社：计算机类本科规划教材《离散数学》课程教学资源（PPT课件讲稿）总目录

2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

4.1二元关系及其表示 4.2关系的运算 4.3关系的性质 4.4关系的闭包运算 4.5等价关系 4.6相容关系 4.7序关系

6.1代数系统的基本概念 6.2二元运算的性质 6.3子代数和积代数

8.1格 8.2布尔代数

实验6FFT算法的应用 实验目的:加深对离散信号的DFT的理解及其FFT算法的运用。 实验原理:N点序列的DFT和IDFT变换定义式如下: n=0 N k=0 利用旋转因子W=e具有周期性,可以得到快速算法 (FFT)。 在 MATLAB中,可以用函数x=fft(x,n)和=ifft(N)计算 N点序列的DFT正、反变换。 实验内容:

连续型随机变量的分布 一随机变量的分布函数是描述任何类型的 随机变量的变化规律的最一般的形式,但 由于它不够直观,往往不常用。 比如,对离散型随机变量,用概率函数来 描述即简单又直观。 对于连续型随机变量也希望有一种比分布 函数更直观的描述方式。 这就是今天要讲的“概率密度函数

2-5随机变量的函数的分布 1、离散型 2、连续型 3、定理及其应用

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

序列的Z变换 一、L变换(拉氏变换):(线性模拟系统)解常系数微分方程的运算方法变微分方程为代数方程(时域→复域)。 二、Z变换:(离散系统)解常系数差分方程的运算方法—变差分方程为代数方程(时域→复域);