◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1 线性变换的定义 §2 线性变换的表示与运算 §3 线性变换在不同基下的表示 §4 不变子空间，像空间和核空间 §5 特征根和特征向量

一、学习要求: (1)正确理解微商的概念; (2)知道微商的几何意义与物理意义; (3)掌握可导与连续的关系; (4)牢固掌握求导的四则运算公式、复合函数求导的法则和反函数求导的法

1 领会纲推理在证明中的关键作用. 2 困难在于如何将经典分析中的问题转化为泛函分析中的问题

设I={1,2,…,n},“i”代表第i个可能参加的合作者定义1:对于每一个子集ScI,对应一个确定的实数V(S),V(S)满足:

1、 有限维空间的同构性。 2、 有限维空间单位球的紧性特征。 3、 可分性与可分空间

连续函数是非常重要的一类函数.也是函数的一种 重要的性态.然界中的许多变量都是连续变化着的,即 在很短的时间内,们的变化都是很微小的.这种现象反 映在函数关系上,就是函数的连续性;对函数曲线来说 就是从起点开始到终点都不间断

例1上三角行列式(i时,a1=0 这是因为上三角行列式的转置是下三角行列

1.在R中引进内积运算,建立n维欧氏空间概念; 2.讨论欧氏空间的正交基的概念及求法; 3.讨论三维欧氏空间R3中向量积,直线及平面方程等内容 4.建立一般内积空间的概念

1、 超平面的分析表达。 2、 Minkowski 泛函的定义及属性。 3、 一般隔离定理的证明。 4、 紧凸集的严格隔离定理。 5、 Helly 的第一、第二矩量定理