第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

本节主要介绍如何用代数法将逻辑函数简化为最简 与-或式。掌握了最简与－或式的方法，就可以利用对偶 规则化简逻辑函数为最简或－与表达式

1 线性代数 符号和基础知识 矩阵乘法 运算性质 矩阵微分 2 概率论 概率空间 随机变量及其分布 随机变量的数字特征 条件期望

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

一、特殊矩阵的实现 特殊矩阵的实现常见的特殊矩阵有零矩阵、幺矩阵、单位矩阵、三角形矩阵等,这类特殊矩阵在线性代数中具有通用性;还有一类特殊矩阵在专门学科中有用,如有名的希尔伯特( Hilbert)矩阵、范德蒙( Vandermonde)矩阵等1.零矩阵:所有元素值为零的矩阵称为零矩阵。零矩阵可以用 zeros函数实现

 1. 复数的概念  2. 代数运算  3. 共轭复数 CH1 §1复数及其代数运算  1. 点的表示  2. 向量表示法  3. 三角表示法  4. 指数表示法 §2 复数的表示方法  1. 复数的乘积与商  2. 复数的乘幂  3.复数的方根 §3 复数的乘幂与方根  1. 区域的概念  2. 简单曲线（或Jordan曲线)  3. 单连通域与多连通域 §4 区 域

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

一、求积公式的代数精度 二、插值型求积公式 三、复化求积法

包括以下17门课程：高等几何、VF程序设计、计算方法、数学建模、图论、模糊数学、随机过程、数学实验、抽象代数、分析选讲、代数选讲、数学史、生物数学、常微分方程II、测度论、数学物理方程、统计与预测

1.1 数制与编码 1.1.1 数制 1.1.２ 数制间的转换 1.1.3 编码 1.2 逻辑代数 1.2.1 逻辑变量与逻辑函数的概念 1.2.2 三种基本逻辑及运算 1.2.3 复合逻辑及其运算 1.2.4 逻辑函数的描述 1.2.5 逻辑代数的定律、规则及常用公式 1.3 逻辑函数化简 1.4 VHDL语言描述