设凹镜是由xOy面上曲线L:y=y(x)(y>0)绕x轴旋转而成, 光源在原点.确定函数y(x)所满足的微分方程 在L上任取一点M(x,y),作L的切线交x轴于A.点O发出的 光线经点M反射后是一条平行于x轴射线.由光学及几何原理 可以证明OA=OM

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

§6.1几个典型函数 1 单位阶跃函数 2 矩形脉冲函数 §6.2卷积的概念与性质 1 函数的卷积 2 序列的卷积

• 网络优化是运筹学中的一个重要分支，所研究的问题涉及经济管理、交通运输、计算机科学与信息技术、通讯与网络技术等诸多领域。在现实生活中，诸如最短路问题、运输问题、指派问题、中国邮递员问题、旅行商问题等都是网络优化的问题。 • 由于多数网络优化问题是以网络上的流为研究对象，因此，在图论中一般只涉及网络流问题。 • 4.1 网络流与截集 • 4.2 最大流问题及其解法 • 4.3 最小费用流算法 • 4.4 Petri网

综合试题1 一、判别下列命题是否正确 1.如果行列式d=0那么它至少有一行元素全为零 2.如果含n个末知量的n个方程构成的线性方程组的系数行列式等于零,那么它有无穷多解

对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务

第四章线性方程组 第一节线性程组的消元法 第二节齐次线性方程有非零解的条件及解的结构 第三节非齐次线性方程有解的条件及解的结构

第三章向量空间 第一节向量的桃念及其线性近算 第二节空间的直角坐标案及向量的坐标 第三节量空间 第四节向量的线性相芙 第五节向量空间的基与坐标 第六节线窆间基本概念介绍

第二节柯西积分定理 1825年柯西(Cauchy)给出了如下的定 理,说明单连通区域内的解析函数的复 积分与路径无关。它是复变函数的核心 定理,常称为柯西积分定理:

综合试题1 一、判别下列命题是否正确 1.如果行列式d=0那么它至少有一行元素全为零 2.如果含n个末知量的n个方程构成的线性方程组的系数行列式等于零,那么它有无穷多解. 3.如量向量组与向量组的秩相等,那么I~I 5.如果向量B可由向量组唯一线性表出,·则线性无关