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 阶跃函数和冲激函数 一、阶跃函数 二、冲激函数 三、冲激函数的性质 四、序列δ(k)和ε(k) 1.5 系统的性质及分类 一、系统的定义 二、系统的分类及性质 1.6 系统的描述 一、连续系统 二、离散系统 1.7 LTI系统分析方法概 述

8.0 引言 8.1 系统的状态空间描述 8.2 状态方程的建立 8.3 连续系统状态方程的解 8.4 离散系统状态方程的解 8.5 系统稳定性判别

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.自然数上的序关系