正版 数据库理论研究方法解析 郝忠孝 科学出版社 9787030442802

 前言

第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章  算法复杂性

  10.1  类PASCAL语言

  10.2  算法的性质和证明

    10.2.1  基本概念

    10.2.2  算法应具有的性质

    10.2.3  算法正确性证明

    10.2.4  算法工作量

  10.3  算法复杂性

    10.3.1  空间复杂性

    10.3.2  时间复杂性

  10.4  算法复杂性分析基础

    10.4.1  多项式时间算法与指数时间算法

    10.4.2  算法分析的三种情况和表示方法

    10.4.3  总结和说明

    10.4.4  难解性或为难解问题

第11章  算法设计方法

  11.1  问题的模型

    11.1.1  数学模型

    11.1.2  数据模型

  11.2  算法设计概述

    11.2.1  算法设计的步骤

    11.2.2  算法的有效性

  11.3  递归方法和算法递归设计

    11.3.1  递归技术和递归算法概述

    11.3.2  递归函数和递归过程

    11.3.3  递归过程实现

    11.3.4  尾递归和线性递归

    11.3.5  递归设计

    11.3.6  消除递归

  11.4  穷举法和贪心法

    11.4.1  穷举法

    11.4.2  贪心法

  11.5  治类方法

    11.5.1  分治法

    11.5.2  减治法

    11.5.3  变治法

  11.6  时空权衡法和动态规划

    11.6.1  时空权衡法

    11.6.2  动态规划

  11.7  回溯法和分支限界法

    11.7.1  回溯法

    11.7.2  分支限界法

第12章  算法复杂性分析技术

  12.1  几种常用的比较两个函数阶的方法

    12.1.1  几种常用的参照法

    12.1.2  比较两个函数阶的方法

    12.1.3  常用的和式估计上界法

  12.2  递归算法的复杂度分析技术

    12.2.1  递归算法的复杂度分析方法

    12.2.2  递归过程分析

    12.2.3  递归方程求解

  12.3  生成函数与求和

  12.4  算法实现和程序设计

第13章  学术论文写法和严守道德规范

  13.1  学术论文及写法规范

    13.1.1  基础知识

    13.1.2  学术性研究和学术论文选题

    13.1.3  学术论文的写法规范

  13.2  严守道德规范

    13.2.1  学术不端

    13.2.2  违背学术道德的讨论

  13.3  学术论文和著作投稿

    13.3.1  学术论文投稿

    13.3.2  著作和投稿

  13.4  坚守国家利益高于一切

参考文献

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

主要研究领域：①空值数据库理论。在靠前外抢先发售提出了空值数据库数据模型，完成一系列相关研究，形成了比较完整的理论体系，著有靠前外靠前部该方面的论著《空值环境下数据库导论》。②数据库NP-接近问题的求解问题。抢先发售基本解决了求全部候选关键字、主属性，基数为M的候选关键字，很小候选关键字等问题，著有《关系数据库数据理论新进展》。③数据库数据组织的无环性理论研究。在无α环、无β环、无γ环的分解条件与规范化理论研究方面取得突破性进展，著有《数据库数据组织的无环性理论》。④时态数据库理论研究。系统提出并完成了时态数据库中基于全序、偏序、多粒度环境下的各种时态理论问题研究，著有《时态数据库设计理论》。⑤主动数据库理论研究。著有靠前外靠前部该方面的论著《主动数据库系统理论基础》。⑥不接近信息下XML、概率XML数据库理论研究。抢先发售解决了不接近信息下XML数据库部分理论研究问题，著有《不接近信息下XML数据库基础》。⑦空间、时空数据库理论研究。抢先发售解决了空间数据库线段很近邻查询和其他多个问题，著有《时空数据库查询与推理》、《时空数据库新理论》、《移动对象数据库理论基础》、《空间数据库理论基础》等著作。

作为负责人完成了国家、省部级项目10项，获省、部级科技进步奖一、二、三等奖7项。发表学术论文230余篇，其中，国家一级论文160余篇；在《计算机研究与发展》上发表个人学术论文专辑两部，被SCI、EI等检索140余篇。1991年发表学术论文数居中国科技界第五位(并列)。著书11部。

产品说明：
1. 本产品为按需印刷（）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。
2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。
3. 按需印刷的图书制作成本高于传统的单本成本，因此售价高于原书定价。
4. 按需印刷的图书，出版社生产周期一般为15个工作日（特殊情况除外）。请您耐心等待。
5. 按需印刷的图书，属于定制产品，不可取消订单，无质量问题不支持退货。

　　《数据库理论研究方法解析》可作为计算机数据库、网络安全、数学和计算机科学领域其它学科理论研究、计算机科学领域其它学科理论如何进行研究的本科、硕士、博士生、高校教师、科研人员等参考。