证据的定义，用来证明案件事实的一切事实和材料。 可定案证据的定义 真实可靠的被人民法院采纳的证据为可定案证据。 特征: 1、客观性 2、相关性 3、合法性

一、程序开始和结束 二、段定义 三、变量定义 四、ASSUME语句 // 第7次课 五、表达式及表达式中的操作符 六、过程定义 七、等值定义

数值积分 对于求定积分，虽然有了 Newton-Leibniz 公式，但在整个可积函 数类中，能够用初等函数表示不定积分的只占很小一部分，也就是说， 对绝大部分在理论上可积的函数，并不能用 Newton-Leibniz 公式求得 其定积分之值

单调有界数列收敛定理 定理2.4.1单调有界数列必定收敛。 证不妨设数列{xn}单调增加且有上界,根据确界存在定理,由 {xn}构成的数集必有上确界β,β满足:

数值积分 对于求定积分，虽然有了 Newton-Leibniz 公式，但在整个可积函 数类中，能够用初等函数表示不定积分的只占很小一部分，也就是说， 对绝大部分在理论上可积的函数，并不能用 Newton-Leibniz 公式求得 其定积分之值。 另一方面，在实际问题中，许多函数只是通过测量、试验等方法 给出了在若干个离散点上的函数值，如果问题的最后解决有赖于求出 这个函数在某个区间上的积分值，那么 Newton-Leibniz 公式是难有用 武之地的

函数极值与Fermat引理 定义5.1.1 设 f x( )在(, ) a b 上有定义， 0 x ab ∈(,)，如果存在点 x0的 某一个邻域 ),(),( 0 δ ⊂ baxO ，使得 fx fx () ( ) ≤ 0 ， ),( ∈ xOx 0 δ ， 则称x0是 f x( )的一个极大值点， f x( ) 0 称为相应的极大值

单调有界数列收敛定理 定理2.4.1 单调有界数列必定收敛。 证 不妨设数列{ xn }单调增加且有上界，根据确界存在定理，由 { xn }构成的数集必有上确界β ，β 满足：

12.2.3一元多项式的判别式的定义 给定K[x]内一个n次多项式 F(x)=ax+axn-+…+an(a≠0) 设a1,a2,…an是它的n个根,令 称其为F(x)的判别式。显然,F(x)有重根其充分必要条件是D(F)=0 现在考察n元式

9-2C,R,Q上多项式的因式分解 9.2.1复数域、实数域上多项式的因式分解 定理(高等代数基本定理)复数域C上任意一个次数≥1的多项式在C内必有一个 根。 这个定理的证明是放在复变函数课程中完成的。 由高等代数基本定理,我们得到C[x]内多项式的因式分解的重要结论: 命题C[x]内一个次数≥1的多项式p(x)是不可约多项式的充分必要条件为它是一次 多项式。 证明在任一数域K上的一次多项式f(x)都是K[x]内的不可约多项式(因为 (f(x),f(x)=1)。现在假设p(x)是C[x]内的一个不可约多项式

一、本单元的内容要点 函数的驻点,费马引理、罗尔定理、拉格朗日中值定 理、柯西中值定理及应用