谱论是泛函分析的重要分支之一.从《线性代数》课程中可 知:有限维空间上的线性算子由它的特征值和最小多项式完全确 定,将这一结论推广到有界线性算子的情况,研究它的结构,就是 算子的谱理论.特征值的概念将相应地扩展为“谱”.由于特征值 和逆算子有密切关系

由于计算机的飞速发展,计算机控制系统得到广泛的应用,离散系统控制理论 具有越来越重要的地位。由于离散系统中存在采样、保持、数字处理等过程,离散 系统具有一些独特的性能。下面首先讨论采样与保持这些离散系统的特殊问题的数 学描述,然后建立离散系统的数学模型

1矩阵的概念 一、实际例子 例1设某物质有m个产地,n个销地,如果 以a表示由第i个产地销往第j个销地的数量,则 这类物质的调运方案,可用一个数表表示如下

可逆矩阵 一、逆矩阵的概念与性质 1.定义5.1设A是一个n阶方阵,若存在n阶方阵B 使 AB=BA=E 则称B为A的逆矩阵,并称A可逆

§1 空间向量及其线性运算 §2 空间直角坐标系与空间向量的坐标表示 §3 向量空间 §4 向量组的线性相关性 §5 向量空间的基与向量的坐标

电磁场具有能量,电磁场是一种物质存在形式,本节研究包括电磁现象在内的能 量守恒定律,给出其数学表达形式以及电磁场中能流密度矢量的定义,阐述其各项物 理意义,加深对电磁运动规律的理解

科学、宗教与艺术 同源而殊途:同源于描述和解释自然、人类以 及人和自然的关系。 数学是自然科学的“画笔”:定量而不仅是定 性地掌握自然规律。 科学结论具有可以定量检验的预测能力。 “数学”和“定量”包括解析、数值、图形和 其它主要由现代计算机提供的模拟手段。 物理学已经成为鼎立于实验、理论和计算三大 支柱上的成熟的学科。生物是物生物学也会 受到物理学的启发

直接法得到的解是理论上准确的,但是我们可以看得出,它们的计算量都是n3 数量级,存储量为η2量级,这在n比较小的时候还比较合适(n<400),但是对于现 在的很多实际问题,往往要我们求解很大的n的矩阵,而且这些矩阵往往是系数矩阵 就是这些矩阵含有大量的0元素。对于这类的矩阵,在用直接法时就会耗费大量的时 间和存储单元。因此我们有必要引入一类新的方法:迭代法

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解