資料庫理論研究方法解析

《資料庫理論研究方法解析》是2015年科學出版社出版的圖書，作者是郝忠孝。

基本介紹

• 書名：資料庫理論研究方法解析 
• 作者：郝忠孝
• ISBN：978-7-03-044280-2
• 頁數：332
• 定價：98.00
• 出版社：科學出版社 
• 出版時間：2015年6月
• 裝幀：平裝
• 開本：B5
• 版本：101 
• 責任編輯：閆悅
•  字數：280千字
• 編輯部：信息技術

內容簡介

本書目錄專家評論讀者評論我要留言

本書共分十三章。主要內容包括：哲學的方法論原理、科學分析問題、選擇課題的原則、選題的禁忌、課題的選擇方法和提出科學假設的方法、系統思維劃分產生命題、對象目標逆向推理劃分策略、對象目標逆向靜態分析和動態分析方法、演繹中增強（削弱）條件限制確定命題方法、具體到抽象的方法確定命題方法、類比推理的方法確定命題方法、文獻閱讀產生命題方法、學術論文評價產生命題方法、專著產生項目和課題方法、各種命題正確性證明方法：、算法性質和證明和實驗方法；各種算法複雜性分析技術和設計方法、學術論文寫法和嚴守道德規範等。

作者簡介

郝忠孝，教授，山東蓬萊人，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章算法設計方法