計算機科學的起源

1、VB程序設計及數(shù)據(jù)庫應用莊朝暉 廈門大學計算機系計算科學的起源從邏輯開始計算科學的起源從邏輯開始n中文的“邏輯”顯然音譯自英文的“l(fā)ogic”。logic又來自中古拉丁文的logica，logica又源自希臘文logos（）。logos一般翻譯為“邏格斯”，接近于中文里的“道”。n中文的“道”和希臘文“l(fā)ogos”都有以下兩層意思：1 各種事物的定義或者各種活動的規(guī)則（西方各門學科的名字都以 -logy綴后的習慣）2 言說，言談n這兩層意思也是相互關(guān)聯(lián)的。言談是為了揭示事物的道理，道理一般也通過言談得以開顯。通用計算的設想通用計算的設想n“萬一發(fā)生爭執(zhí)，正像兩個會計員之間無須乎有辯論，兩個哲學

2、家也不需要辯論。 因為他們只要拿起石筆，在石板前坐下來，彼此說一聲（假如愿意，找個朋友作證）：我們來算算，也就行了?！?萊布尼茲通用計算的幾種模型通用計算的幾種模型n面對著生活世界，人類發(fā)展出三種推理模型：數(shù)據(jù)表數(shù)據(jù)表示示+數(shù)據(jù)處理。數(shù)據(jù)處理。na、自然語言的推理、自然語言的推理：使用語言和概念來表示命題與知識，通過交談與辯論來進行推理。nb、符號邏輯的推理、符號邏輯的推理：使用符號來表示命題與知識，使用邏輯規(guī)則來進行推理。nc、數(shù)字計算的推理、數(shù)字計算的推理：使用數(shù)字來表示命題與知識，使用計算來進行推理。n這三種推理模型都可以歸結(jié)為邏輯系統(tǒng)。然而所有的邏輯系統(tǒng)，皆有其局限性與適用性，所以不要

3、拘泥于任何邏輯系統(tǒng)之中，要敢于超越現(xiàn)有的邏輯系統(tǒng)。n理性精神則勇于質(zhì)疑，分析和超越這些預設和成見。這就是愛智慧。圖靈機的出現(xiàn)圖靈機的出現(xiàn)n在第三次數(shù)學危機中，數(shù)學中的構(gòu)造部分得到了重視。n在劍橋大學的圖靈圖靈觀察到人類的紙筆運算，他設想：能否有這樣一臺機器，通過某種一般的機械步驟，能夠解決所有可以解決的數(shù)學問題。n以上機器就是他提出來的圖靈機圖靈機。圖靈機可以計算的問題，就稱為圖靈機可圖靈機可計算計算?？刂破鞯拿羁刂破鞯拿羁杀硎緸椋?（狀態(tài)，符號）（寫符號，移動，狀態(tài)）； 控制器控制器 輸入：輸入：圖靈機運行前，工作帶上的內(nèi)容就是輸入。（輸入之前用一個空格隔開，連續(xù)遇到兩個空格表示結(jié)束）輸出：輸出：圖靈機運行后進入結(jié)束狀態(tài)，那么，圖靈機就停機，此時帶上的內(nèi)容就是計算的輸出結(jié)果。算法（算法（Algorithm）n解決問題的大致流程：分析問題 確定算法 選擇語言并