cogito_ergo_sum

2009年22号的冬至开始的第一天，失败了！

2010年1月1号，重新开始第一天！

Fighting！

2009.12.9

        p45P51

        实数序列

        定义 1:
        (有界序列)    上界   下界    有界    序列有界的符号表示  其否定的符号表示

        p48P54

        定义 2:
        无穷小序列    (几何解释)

        p50P56

    引理: 设{an}和{bn}是实数序列，并设存在 N零 属于 N，使得
               |an| <= bn，   任意n > N零
  

2009.12.8

        p38P44

        运算性质 (F1 到 F9)

        p39P45

        顺序性质 (O1 到 O4)

        连续性质 (C)

        p41P47

        |a+b|<=|a|+|b|

        -|a-b|<=|a|-|b|<=|a-b|  (||a|-|b||<=|a-b|)

        |a1+a2+...+an|<=|a1|+|a2|+...+|an|

        伯努里不等式

  定理：以下的伯努利不等式成立
         (1+x)的n次方 >= 1+nx  任意x >= -1    (未指明n)

2009.12.7

        p36P42

        不足近似商    过剩近似商

  定理 3:对任何正实数 a，存在唯一的正实数 omiga, 使得对于满足条件
            0 < arfa <= a <= arfa'
         的任何有尽小数 arfa, arfa' 和任意的自然数 m, n 都有
            (1 / arfa')下标m <= omiga <= (1 / arfa)'下标n
   
    定义 倒数(omiga, 1/a)

2009.12.4

        p32P38

  引理 1：设 a 是任意一个实数。则对任何正的有尽小数 宇普西隆，存在有尽小数 阿尔法 和 阿尔法撇，满足条件
                阿尔法 <= a <= 阿尔法撇，阿尔法撇 - 阿尔法 < 宇普西隆

  引理 2：设 c 和 c撇 是实数，c <= c撇。如果对任何正的有尽小数 宇普西隆，存在有尽小数 伽玛 和伽玛撇，满足条件
                                    伽玛 <= c <= c撇 <= 伽玛撇，伽玛撇 - 伽玛 < 宇普西隆，

2009.11.27

        p32P38

    定义：实数 a 与 b 的和

    定义：实数 a 与 b 的差

  定理 2：设 a 和 b 是非负实数，则存在唯一实数 v，使得对于满足条件
           0 <= 阿尔法 <= a <= 阿尔法撇，0 <= 贝塔 <= b <= 贝塔撇
          的任何有尽小数 阿尔法，阿尔法撇 和 贝塔，贝塔撇，都有
               阿尔法 x 贝塔 <= v <= 阿尔法撇 x 贝塔撇

    定义：非负实数 a 与 b 的乘积

2009.11.25

        p31P37

  定理 1：设 a 和 b 是实数，则存在唯一实数 u，使得对于满足条件
              阿尔法 <= a <= 阿尔法撇，贝塔 <= b <= 贝塔撇
        的任何有尽小数 阿尔法，阿尔法撇 和 贝塔，贝塔撇，都有
              阿尔法 + 贝塔 <= u <= 阿尔法撇 + 贝塔撇

        p23P29

        无尽小数

        p24P30

        等同关系    规范小数    非规范小数    实数    相反数    实数的顺序

        p25P31

        三歧性    传递性

定理：设 a 和 b 是实数，a < b。则纯在有尽小数 c，满足 a < c < b。

        p26P32

        实数的绝对值

        上界    下界    有界集

        p27P33

c primer plus 第五版 p67 P78

FLT_EPSILON

1.00和比1.00大的最小的float类型值之间的差值。

这个量到底是个什么意思，起什么作用？

网络中遍布着大量的Linux相关站点； 
用户无须详细了解每一个此类站点，实际上，一百个站点足够你使用了。
评选出的这100个优秀站点，将按照下述20个类别作以评介：

（一） 文件下载
（二） 幽默娱乐
（三） 相关新闻
（四） 通用硬件
（五） 专用硬件

（六） 新手站点
（七） 图形/多媒体
（八） 游戏站点
（九） 网络杂志
（十） 入口（教育、链接）

（十一） 软件开发
（十二） 购物
（十三） Linux内核
（十四） 职业机会
（十五） 科学工程

（十六） 文档管理
（十七） X-Window 系统
（十八） Linux 分发站点
（十九） 用户团体
（二十） 网管站点