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

1、 完备性的定义和常见空间的完备性。 2、 完备空间的基本性质。 3、 纲的概念及初步应用。 4、 完备化定理：任何度量空间都可以完备化

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

小型试验火箭：初始质量 1400kg，其中包括 1080kg 燃料，竖直向上发射，燃 料燃烧速度 18kg/s，产生的推力 32000N，空气阻力与速度平方成正比(比例系数 0.4kg/m). 只考虑从点火到燃料燃尽期间的情况，求速度、加速度、高度等指标：

一、向量在轴上的投影与投影定理 二、向量在坐标轴上的分向量与向量的坐标 三、向量的模与方向余弦的坐标表示式 四、小结思考题

根据“邻接矩阵”计算图（有向无向混合负权均可） 中“从任意一个顶点到任意一个顶点的最短路长” 算法： 邻接矩阵 C

经试验,一盘录象带从头走到尾,顷时间用了183分30秒,计数器读数从0000变到6152。在一次使用中录象带已经转过大半,计数器读数为4580,问剩下的一段还能否录下1小时的节目?

一、平面曲线弧长的概念 二、直角坐标情形 三、参数方程情形 四、极坐标情形 五、小结思考题

P167 之题：写出 Matlab 环境下，由加权图的边权矩阵表示，转化为带权邻接矩阵表示，的函数 M—文件

顶点u1出发,到其余顶点u1的最短路(最短距离记为) Di jkstra(狄克斯特拉)算法: (1)与u1相邻的点中,谁最近?不妨设是u,则记 录下,令S={1,uk}