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

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

MathWorks公司 MATLAB产品体系 MATLAB基本操作 桌面工具应用 使用帮助 基本数据类型 脚本文件和函数文件 图形应用基础 创建图形用户界面 Simulink基本操作 创建动态系统 简单系统 离散系统 连续系统 混合系统 M语言S函数的编写

前言 第一章全书主要公式和内容摘要 第二章信号与系统 第三章线性时不变系统 第四章连续时间信号与系统的傅里叶分析　 第五章离散时间信号与系统的傅里叶分析

§3.2.3 哈达玛变换 §3.2.4 离散余弦变换 §3.2.5 斜变换 §3.3 霍特林变换（Hotelling）

第6章 MATLAB数据分析与多项式计算 6.1数据统计处理 6.2数据插值 6.3曲线拟合 6.4离散傅立叶变换 6.5多项式计算

第7章图论 7.1无向图及有向图 7.2通路、回路与连通性 7.3图的矩阵表示 7.4欧拉(Euler)图 7.5哈密尔顿(Hamilton)图 7.6二部图 7.7平面图 7.8树

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

一、离散型 二、连续型

布尔代数是计算机科学最重要的基础理论之 泛深关网络及数字电路的设计上有厂 的应用 布尔代数是计算机科学工作者必备的基础知 识,应掌握格与布尔代数的一般理论和方法 情减巽惩覆舞握据具体