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一阶逻辑的推理理论

一、离散型 二、连续型

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

树是一类结构较为算单的图途极 泛的散数学模型,特别是 它在许算机科学中用得最多因此在学 习时应很好地棠握好诸如树的充要条件 生成树、最优生成根树、树的各 种法

本章可视为前一章的深入和 于题逻辑的扃限性我 感 须引入谓词逻辑学习本章时要求 掌握好谓词与命题的关系、量词 辖域、公式等概念比较谓词公 式的等价二蕴涵与命题式 的概的异能语 写化能角谓词逻辑迸行嶊理 理解前束范式的意义