-------算法---------
算法可大致分爲基本算法、數據結構的算法、數論與代數算法、計算幾何的算法、圖論的算法、動態規劃以及數值分析、加密算法、排序算法、檢索算法、隨機化算法、並行算法、厄米變形模型、隨機森林算法。
歐幾里得算法（碾轉相除法）被人們認爲是史上第一個算法。
形式化算法的概念部分源自嘗試解決希爾伯特提出的判定問題，並在其後嘗試定義有效計算性或者有效方法中成形。這些嘗試包括庫爾特·哥德爾、Jacques Herbrand和斯蒂芬·科爾·克萊尼分別於1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年Emil Leon Post的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。
因爲"well-defined procedure"缺少數學上精確的定義，19世紀和20世紀早期的數學家、邏輯學家在定義算法上出現了困難。20世紀的英國數學家圖靈提出了著名的圖靈論題，並提出一種假想的計算機的抽象模型，這個模型被稱爲圖靈機。圖靈機的出現解決了算法定義的難題，圖靈的思想對算法的發展起到了重要作用。
-------數據結構--------
存儲結構：順序存儲結構、鏈式存儲結構
希爾伯特提示的第16個問題：代數曲線和曲面的拓撲研究
算法可大致分爲基本算法、數據結構的算法、數論與代數算法、計算幾何的算法、圖論的算法、動態規劃以及數值分析、加密算法、排序算法、檢索算法、隨機化算法、並行算法、厄米變形模型、隨機森林算法。
歐幾里得算法（碾轉相除法）被人們認爲是史上第一個算法。
形式化算法的概念部分源自嘗試解決希爾伯特提出的判定問題，並在其後嘗試定義有效計算性或者有效方法中成形。這些嘗試包括庫爾特·哥德爾、Jacques Herbrand和斯蒂芬·科爾·克萊尼分別於1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年Emil Leon Post的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。
因爲"well-defined procedure"缺少數學上精確的定義，19世紀和20世紀早期的數學家、邏輯學家在定義算法上出現了困難。20世紀的英國數學家圖靈提出了著名的圖靈論題，並提出一種假想的計算機的抽象模型，這個模型被稱爲圖靈機。圖靈機的出現解決了算法定義的難題，圖靈的思想對算法的發展起到了重要作用。
-------數據結構--------
1968年，美國的高德納(DonaU E. Knuth)教授在其所寫的《計算機程序設計藝術》第一卷《基本算法》中，較系統地闡述了數據的邏輯結構和存儲結構及其操作， 開創了數據結構的課程體系。同年，數據結構作爲一門獨立的課程，在計算機科學的學位課程中開始出現。也就是說，那之後計算機相關專業的學生開始接受《數據結構》的“折磨”其實應該是享受纔對。之後，70年代初，出現了大型程序，軟件也開始相對獨立，結構程序設計成爲程序設計方法學的主要內容，人們越來越重視“數據結構”。
數據的邏輯結構和存儲結構
邏輯結構：集合結構、線性結構、樹形結構、圖狀結構存儲結構：順序存儲結構、鏈式存儲結構
希爾伯特提示的第16個問題：代數曲線和曲面的拓撲研究
