計算機(jī)科學(xué)與技術(shù)導(dǎo)論

內(nèi)容概要

張小峰、賈世祥、柳嬋娟、鄒海林編著的《計算機(jī)科學(xué)與技術(shù)導(dǎo)論》以計算機(jī)學(xué)科知識體系來組織編排，內(nèi)容包括計算機(jī)的產(chǎn)生與發(fā)展、計算機(jī)科學(xué)基本理論和基本方法、數(shù)據(jù)表示與數(shù)字邏輯、計算機(jī)組成與體系結(jié)構(gòu)、操作系統(tǒng)、程序設(shè)計語言原理、數(shù)據(jù)結(jié)構(gòu)與算法、數(shù)據(jù)庫技術(shù)、軟件工程、計算機(jī)網(wǎng)絡(luò)等。一方面，提供對計算機(jī)科學(xué)理論的概覽，使讀者能夠?qū)@一學(xué)科的基本理論、學(xué)科知識體系、方法以及與其他學(xué)科之間的關(guān)系有所了解；另一方面，介紹計算機(jī)科學(xué)理論與技術(shù)產(chǎn)生、發(fā)展的歷史背景知識，讓讀者了解半個世紀(jì)以來，計算機(jī)科學(xué)技術(shù)發(fā)展所經(jīng)歷的曲折和困難，激發(fā)和增強(qiáng)讀者學(xué)習(xí)計算機(jī)科學(xué)的興趣和積極性，為學(xué)習(xí)后續(xù)課程和獻(xiàn)身計算機(jī)科學(xué)事業(yè)奠定方法論和價值觀基礎(chǔ)。
《計算機(jī)科學(xué)與技術(shù)導(dǎo)論》可作為高校計算機(jī)專業(yè)計算機(jī)科學(xué)導(dǎo)論課程的教材，也可作為電氣信息類專業(yè)學(xué)生或其他計算機(jī)愛好者了解、學(xué)習(xí)計算機(jī)科學(xué)知識的參考書。

書籍目錄

第1章 計算機(jī)的產(chǎn)生與發(fā)展
第2章 計算科學(xué)
第3章 數(shù)據(jù)表示與數(shù)字邏輯
第4章 計算機(jī)組成與體系結(jié)構(gòu)
第5章 操作系統(tǒng)
第6章 高級程序設(shè)計語言
第7章 數(shù)據(jù)結(jié)構(gòu)與算法
第8章 數(shù)據(jù)庫技術(shù)
第9章 軟件工程
第10章 計算機(jī)網(wǎng)絡(luò)

章節(jié)摘錄

版權(quán)頁：   插圖：   2.人工智能的產(chǎn)生 人類很早以前就幻想制造代替人類工作的機(jī)器，然而，在電子計算機(jī)沒有出現(xiàn)之前，人工智能還只是幻想，無法成為現(xiàn)實。人工智能實際上是在計算機(jī)上實現(xiàn)的智能或者說是人類智能在機(jī)器上的模擬，又被稱為機(jī)器智能。因此，人工智能的真正實現(xiàn)要從計算機(jī)的誕生開始算起，這時人類才有可能以機(jī)器的形式實現(xiàn)人類的智能。AI這個英文單詞最早是在1956年夏天于美國的達(dá)特茅斯（Dartmouth）學(xué)院的一次會議上提出的，從此以后，人工智能作為一個專業(yè)名詞登上了計算機(jī)科學(xué)的舞臺。在之后的50余年的發(fā)展歷程中，人工智能的研究取得過很多重大的成果，也遭受過巨大的挫折。從它的歷史發(fā)展來看，大致分為3個階段。 1）第一階段——孕育時期（1956年之前） 追溯人工智能的歷史，歷史上許多偉大的思想家、科學(xué)家為此作出了貢獻(xiàn)，他們?yōu)槿斯ぶ悄艿难芯糠e累了充分的條件和基礎(chǔ)理論。 古希臘學(xué)者亞里士多德（Aristotle，約公元前384-前322）為形式邏輯奠定了基礎(chǔ)。他的著作《工具論》，最早給出了形式邏輯的一些基本規(guī)律，如矛盾律、排中律，詳細(xì)地研究了概念、概念的分類及其概念之間的關(guān)系。他還研究了判斷、判斷的分類以及它們之間的關(guān)系，最為著名的是其創(chuàng)造的“三段論”法。三段論至今仍是演繹推理的基本依據(jù)。 英國哲學(xué)家弗蘭西斯?培根（F.Bacon，1561—1626）系統(tǒng)地提出了歸納法，成為和亞里士多德的演繹法相輔相成的思維法則。他強(qiáng)調(diào)了知識的重要作用，其思想對人工智能轉(zhuǎn)向以知識為中心的研究產(chǎn)生了重要的影響。 德國物理學(xué)家、數(shù)學(xué)家萊布尼茨（G.W.Leibniz）提出的通用符號和推理計算的概念，是關(guān)于機(jī)器思維研究的萌芽。后來數(shù)理邏輯的產(chǎn)生和發(fā)展，基本上走的是萊布尼茨提出的道路，他被認(rèn)為是數(shù)理邏輯的奠基人。 19世紀(jì)中葉，英國數(shù)學(xué)家布爾（G.Boole）則初步實現(xiàn)了萊布尼茨關(guān)于符號化和數(shù)學(xué)化的思想。1847年，布爾發(fā)表了《邏輯的數(shù)學(xué)分析，論演繹推理演算》一文，1854年，又出版了《思維規(guī)律研究》一書，用符號語言描述了思維活動中推理過程的基本規(guī)律，創(chuàng)立了邏輯代數(shù)。

編輯推薦

《普通高等教育"十一五"國家級規(guī)劃教材?計算機(jī)系列教材?山東省省級精品課程配套教材:計算機(jī)科學(xué)與技術(shù)導(dǎo)論》可作為高校計算機(jī)專業(yè)計算機(jī)科學(xué)導(dǎo)論課程的教材，也可作為電氣信息類專業(yè)學(xué)生或其他計算機(jī)愛好者了解、學(xué)習(xí)計算機(jī)科學(xué)知識的參考書。

圖書封面

評論、評分、閱讀與下載

---

    計算機(jī)科學(xué)與技術(shù)導(dǎo)論 PDF格式下載

---