数据库理论研究方法解析

内容概要

郝忠孝，教授，山东蓬莱人，1940年12月生，曾任原东北重型机械学院副校长，齐齐哈尔大学副校长，哈尔滨理工大学学术委员会主席。现任哈尔滨工业大学博士生导师(兼)、哈尔滨理工大学博士生导师。原机械电子工业部有突出贡献专家，享受国务院政府特殊津贴，全国优秀教师，黑龙江省共享人才专家，黑龙江省级学科带头人，黑龙江省计算机学会副理事长。

书籍目录

前言

第1章客观世界需求和想象

1.1客观世界需求

1.1.1客观世界需求和数据库产生与发展

1.1.2客观世界需求和网络安全技术产生与发展

1.2想象

第2章思维和抽象

2.1形式逻辑

2.2逻辑思维

2.3非逻辑思维

2.4辩证逻辑思维

2.5灵感思维

2.5.1灵感思维特征和产生的基础

2.5.2灵感和机遇

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.7.5科学抽象思维的基本过程

第3章演绎推理

3.1推理类型和作用

3.1.1推理概述

3.1.2推理的逻辑性和结论正确的条件

3.2演绎推理的一般模式——三段论

3.3直言命题和直接推理

3.3.1直言命题

3.3.2性质命题的种类

3.4假言（条件）命题及推理

3.4.1条件命题

3.4.2条件命题推理

3.5选言推理和联言推理

3.5.1选言（析取式）推理

3.5.2联言（合取式）推理

第4章合情推理和因果关系推理

4.1归纳推理概述

4.2不完全归纳推理和完全归纳推理

4.2.1不完全归纳推理

4.2.2完全归纳推理

4.3归纳推理和演绎推理

4.3.1总结出规律和结论的两个阶段

4.3.2归纳推理和演绎推理的关系

4.4类比推理及特点

4.5类比推理的种类及结构

4.5.1类比推理的种类

4.5.2类比推理的结构

4.6归纳和类比推理的联系与区别

4.7因果关系推理

4.7.1因果关系及性质

4.7.2逻辑推理与因果关系的区别

第5章科研课题的选择和确定方法

5.1问题和课题

5.2选择课题的原则

5.2.1选择课题是科学研究的第一步

5.2.2课题选择的原则

5.2.3选题的可行性原则

5.3选题的禁忌

5.4科学分析问题

5.5提出科学假设的意义及方法

5.5.1提出科学假设的意义

5.5.2科学假设产生的客观基础

5.5.3要发现和认识冲突与矛盾

5.5.4以批判的精神冲破传统观念的束缚

5.5.5产生科学假设的环境

5.5.6产生科学假设的方法

5.5.7建立形式不同但本质相同的理论体系

第6章系统思维产生子系统和命题

6.1系统思维的特点和原则

6.1.1产生子系统的思维特点和原则

6.1.2系统的整体性特点和原则

6.1.3系统的综合性特点和原则

6.1.4系统的结构性特点和优化原则

6.1.5系统的动态性特点和原则

6.1.6系统的多维思维特点和原则

6.1.7系统的模型化特点和原则

6.2系统思维划分产生课题

6.2.1目标逆向推理划分策略

6.2.2目标逆向静态分析和动态分析

6.3系统思维产生命题

6.3.1演绎中增强条件限制确定命题

6.3.2演绎中削弱条件限制确定命题

6.3.3具体到抽象的方法确定命题

6.3.4类比推理的方法确定命题

第7章文献研究确定课题和命题

7.1文献研究的基本知识

7.2阅读文献打好研究基础

7.3批判地阅读和吸收

7.4阅读坚持的原则和课题及命题选择

7.4.1阅读文献和论文时的原则及方法

7.4.2学术论文评价与课题及命题选择

7.4.3专著与课题选择

7.5阅文整理和科研方案的制订

第8章命题证明基础

8.1概念

8.2命题

8.2.1命题及真假性

8.2.2命题的种类和逻辑性

8.2.3集合论中的“交”“并”“补”与逻辑联结词的对应关系

8.2.4全称命题和特称命题

8.2.5含有一个量词的命题的否定

8.3几种不同的命题

8.3.1定义

8.3.2公理

8.3.3公理系统的有效性和完备性证明

8.3.4定律和原理

8.3.5定理

第9章证明方法和实验

9.1证明

9.1.1证明概述

9.1.2证明和推理的联系与区别

9.1.3证明的规则和步骤

9.2综合法和分析法

9.2.1综合法

9.2.2分析法

9.2.3综合法和分析法的特点

9.3条件关系证明法

9.4反证法和同一法

9.4.1间接证明方法种类

9.4.2反证法

9.4.3同一法

9.5构造性证明法和存在性证明法

9.5.1构造性证明法

9.5.2存在性证明法

9.6数学归纳法

9.6.1完全数学归纳法

9.6.2不完全数学归纳法

9.7因果证明

9.8计算机理论研究中的科学实验

9.8.1计算机科学理论实验的作用

9.8.2计算机理论研究中实验的种类

9.8.3科学模拟实验

9.8.4整理经验材料的方法

……

第10章算法复杂性

第11章算法设计方法

作者简介

本书共分十三章。主要内容包括：哲学的方法论原理、科学分析问题、选择课题的原则、选题的禁忌、课题的选择方法和提出科学假设的方法、系统思维划分产生命题、对象目标逆向推理划分策略、对象目标逆向静态分析和动态分析方法、演绎中增强（削弱）条件限制确定命题方法、具体到抽象的方法确定命题方法、类比推理的方法确定命题方法、文献阅读产生命题方法、学术论文评价产生命题方法、专著产生项目和课题方法、各种命题正确性证明方法：、算法性质和证明和实验方法；各种算法复杂性分析技术和设计方法、学术论文写法和严守道德规范等。

 数据库理论研究方法解析下载