●前言
第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.10存在性證明模式和對命題證明的適用範圍
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章如何培養研究生
參考文獻
《數據庫應用理論繫列圖書:數據庫學術理論研究方法解析》是作者對《數據庫理論研究方法解析》一書的深入和補充。
《數據庫應用理論繫列圖書:數據庫學術理論研究方法解析》以確定命題、命題解析、方法解析而實現命題與證明方法的對接為主線,繫統闡述了數據庫學術理論研究方法,並以實例進行解析。
《數據庫應用理論繫列圖書:數據庫學術理論研究方法解析》共8章。主要內容包括:確定命題的思維和方法、命題證明中的思維和推理解析、命題證明方法解析、證明前命題解析、圖和有向圖與數據庫理論間的關繫、Voronoi圖和數據庫理論研究、曲面和數據庫查詢的關繫、如何培養研究生等。
《數據庫應用理論繫列圖書:數據庫學術理論研究方法解析》可供從事計算機數據庫、網絡安全理論和計算機領域其他分支理論學習、研究的本科生、研究生、教師及科研人員使用,也可供從事其他自然科學理論的研究人員參考。