数据库学术理论研究方法解析

前言

第1章 确定命题的思维和方法
1．1 基础知识
1．1．1 想象和科学假设
1．1．2 思维
1．1．3 抽象和科学抽象
1．1．4 运用思维产生及确定命题的过程
1．2 客观世界需求产生及确定命题
1．3 产生及确定命题的基本方式
1．4 创新思维方式产生及确定命题
1．5 阅读文献方式产生及确定命题
1．5．1 批判阅读和吸收中产生及确定命题
1．5．2 比较阅读中产生及确定命题
1．5．3 阅文评价中产生及确定命题
1．5．4 阅读专著中产生及确定命题
1．6 本章小结

第2章 命题证明中的思维和推理解析
2．1 命题证明的三个阶段
2．2 命题证明中的逻辑思维
2．3 命题证明中的形式逻辑
2．4 命题证明中的创新性思维
2．5 命题证明中的演绎推理
2．5．1 三段论演绎推理的一般模式
2．5．2 推理逻辑性和推理结论正确的**条件
2．5．3 命题证明中演绎推理的作用
2．6 命题证明中的条件关系推理和归纳推理
2．6．1 命题证明中的条件命题推理
2．6．2 命题证明中的完全归纳推理
2．6．3 命题证明和不完全归纳推理的关系
2．7 命题证明中的类比推理
2．7．1 命题证明和类比推理的关系
2．7．2 命题证明和数学相似类比推理的关系
2．7．3 命题证明和简化类比推理的关系
2．7．4 命题证明和模型类比推理的关系
2．8 命题证明中的因果关系推理
2．8．1 因果关系及性质
2．8．2 逻辑推理与因果关系的区别
2．9 命题证明中的数理逻辑
2．9．1 命题逻辑
2．9．2 命题公式及文字命题的符号化
2．10 本章小结

第3章 命题证明方法解析
3．1 分析与综合在命题证明中的作用
3．2 命题证明的结构解析
3．3 证明方法模式及其适用范围解析
3．3．1 逻辑演绎证明模式和对命题证明的适用范围
3．3．2 综合证明模式和对命题证明的适用范围
3．3．3 分析证明模式和对命题证明的适用范围
3．3．4 数学归纳证明模式和对命题证明的适用范围
3．3．5 不完全数学归纳证明模式和对命题证明的适用范围
3．3．6 条件关系证明模式和对命题证明的适用范围
3．3．7 反证法证明模式和对命题证明的适用范围
3．3．8 同一法证明模式和对命题证明的适用范围
3．3．9 构造法证明模式和对命题证明的适用范围
3．3．1 0存在性证明模式和对命题证明的适用范围
3．4 理论命题推理证明法选择的层次
3．5 算法证明前证明方法和复杂度分析法的解析
3．5．1 总算法和子算法的关系
3．5．2 算法理论证明前解析
3．5．3 算法模拟实验检验法
3．6 本章小结

第4章 证明前命题解析
4．1 创新型命题的类型
4．1．1 原始创新型理论及命题
4．1．2 继承型创新命题
4．2 构成命题的结构
……

第5章 图和有向图与数据库理论间的关系
第6章 Voronoi图和数据库理论研究
第7章 曲面和数据库查询的关系
第8章 如何培养研究生

参考文献