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

一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义