1.1 绪 言 1.2 信号的描述和分类 1.2.1 信号的描述 1.2.2 信号的分类（可从不同的角度进行分类） 1.3 基本信号及其时域特性 1.3.1 普通连续信号 1.3.2 奇异信号 1.3.3 基本离散信号 1.5 系统的描述 1.6 线性系统的性质

1 线性时不变随机系统分析.2 2 有理谱分解定理.17 3 离散时间随机系统的级数表示.29 4 最优预测.33 5 最小方差控制.42 6 广义最小方差控制.53

7.4常系数差分方程的求解 1、迭代法 2、时域经典法 3、离散卷积法:利用齐次解得零 4、输入解,再利用卷积和求零状态解。 5、变换域法(Z变换法) 6、状态变量分析法

信号的频域分析 1、周期信号的傅立叶级数(指数形式) f(t)=Fne n=-∞ n (t) dt 周期信号频谱的特点: 离散性 谐波性 收敛性 2、非周期信号的频域分析 傅立叶变换(傅立叶积分) F(j@)=f()e-odt f(t)= F(ja) do 2元-∞ 傅立叶变换的性质

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

5.1 用DFT逼近连续时间信号的频谱 5.2 用FFT计算线卷积和相关运算 5.3 倒频谱分析 5.4 系统频谱响应函数分析及确定

包括以下10门课程：离散数学、C语言、数据结构、常微分方程、操作系统、计算方法、数据库原理及应用、概率论与数理统计、JAVA语言、实变函数

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

1. Peano系统 2.后继,归纳集,自然数,自然数集 3.数学归纳法原理 4.传递集 5.自然数的运算 6.自然数上的序关系