泰勒定理(带Lagrange余项)：如果函数$f(x)$在$x_0$的领域$U(x_0)$内具有直到$(n+1)$阶的导函数，则$\forall x\in U(x_0)$，存在$\theta\in(0,1)$，使得：$$f(x)=f(x_0)+f^{'}(x_0)(x-x_0)+\frac{f^{'...
分类：
其他好文 时间：
2015-11-02 15:12:15
阅读次数：
167
设$f(x)$为$R$上的正值连续函数，若对$\forall t\in R$，有$\int_R$$e^{-\mid t-x\mid}f(x)dx$$\leq$$1$，证明：对$\forall a,b \in R(a<b)$，有$\int_a^bf(x)dx$$\leq$$\frac{b-a}{2}+...
分类：
其他好文 时间：
2015-10-18 22:49:01
阅读次数：
194
强联通分量
在一个有向图的顶点子集SS中，对?(u,v)\forall (u,v)，如果都能找到一条从uu到vv的路径，那么就称SS是强联通的。如果向SS中加入任何一个其他顶点后SS都不再是强联通的，就称SS时原图的一个强联通分量。
显然，如果把所有的强联通分量都缩点，原图将变成一个DAGDAG
SCCSCC的求解可通过两次dfsdfs实现，第一次在原图中后续遍历，标号；第二遍将所有边反向后，从编号...
分类：
移动开发 时间：
2015-07-17 22:48:46
阅读次数：
199
这次总结只是把一些刚接触到的新东西列出来，方便以后升入学习时查看1、常量表示方式：constant2、类型%Type;例：表名.列名%Type;--表示该变量的类型为这一列的类型3、%rowType4、自定义类型Typeaistableof..和Typeaisrecord(..);5、forall循环比FOR效率高，因为前者只切换一次..
分类：
数据库 时间：
2015-07-07 19:50:51
阅读次数：
147
可能是因为当年本科学的是微积分，级数部分讲的不多，现在这部分习题做起来真的很困难，有不少题目想了很长时间,现在在这里练一练，做个记录.4.设$0<\alpha<\frac{\pi}{2},\left|{\rm arg}z_{n}\right|\leq\alpha,\forall n\in\mathb...
分类：
其他好文 时间：
2015-06-19 07:50:56
阅读次数：
424
Oracle数据库之FORALL与BULK COLLECT语句 我们再来看一下PL/SQL块的执行过程：当PL/SQL运行时引擎处理一块代码时，它使用PL/SQL引擎来执行过程化的代码，而将SQL语句发送给SQL引擎来执行；SQL引擎执行完毕后，将结果再返回给PL/SQL引擎。这种在PL/SQL引擎...
分类：
数据库 时间：
2015-06-18 09:28:49
阅读次数：
167
$ Fibonacci是形如这样的数列\{{a_n}\} ， \forall n 有：$$ a_n = \begin{cases} a_{n-1} + a_{n-2} & n \geqslant 2 \\ 0 & n = 0, 1 \end{cases} $$ 根据特征根方程易得通项公式为：$\qu...
分类：
其他好文 时间：
2015-06-04 22:34:07
阅读次数：
146
1.设$1 \le p \le q \le +\infty$，证明$l^p \subset l^q$。证明：$\forall x=(x_1,x_2,\ldots) \in l^p$，$\forall \varepsilon >0$，恒存在自然数N，使得$\sum_{k=N}^{+\infty}{||...
分类：
其他好文 时间：
2015-06-03 21:06:01
阅读次数：
441
2.6 Baire定理定理 2.52（Baire纲定理） 完备的距离空间是第二类型集。解释：完备的距离空间$(X,d)$，$\forall x \in X$ 都是内点，因为$X$在$X$中是开集。一个无处稠密（nowhere dense）的集合就是闭包不含内点的集合不会是整个$X$，即$X$不是第一...
分类：
其他好文 时间：
2015-06-03 11:35:16
阅读次数：
252
