計算機科學導論：思想與方法

定　價：￥21.80

作　者：	董榮勝
出版社：	高等教育出版社
叢編項：	高等學校計算機科學與技術(shù)專業(yè)系列教材
標　簽：	計算機理論

購買這本書可以去

ISBN：	9787040224627	出版時間：	2007-09-01	包裝：	平裝
開本：	16開	頁數(shù)：	263	字數(shù)：

內(nèi)容簡介

　　《計算機科學導論：思想與方法》根據(jù)教育部高等學校計算機科學與技術(shù)教學指導委員會、IEEE— CS和ACM對“計算機導論”課程的要求，將“計算機導論”課程構(gòu)建的重點放在課程的結(jié)構(gòu)設(shè)計上，在學科思想與方法這個較高的層面，將學科知識有機地統(tǒng)一起來，避免了該課程在結(jié)構(gòu)設(shè)計上容易出現(xiàn)的學科知識雜亂堆積的問題，有助于課程的教與學?！队嬎銠C科學導論：思想與方法》的主要內(nèi)容包括計算學科專業(yè)名稱的演變，學科的描述、培養(yǎng)側(cè)重點，學科各專業(yè)方向的知識體與核心課程，“計算機導論”課程的構(gòu)建，學科的基本問題，學科中的抽象、理論和設(shè)計3個學科形態(tài)，學科中的核心概念、數(shù)學方法、系統(tǒng)科學方法，社會與職業(yè)問題，學科若干問題的探討以及對學科教育的展望等。為了使讀者更好地理解和掌握書中的內(nèi)容，在各章末都附有一定數(shù)量的習題?！队嬎銠C科學導論：思想與方法》可作為高等學校“計算機導論”或“計算機方法論”等課程的教材，還可供其他專業(yè)的學生、教師和科技人員參考。

作者簡介

暫缺《計算機科學導論：思想與方法》作者簡介

圖書目錄

第1章緒論
1.1 引言
1.1.1 計算學科命名的背景
1.1.2 計算學科的定義
1.1.3 計算學科的根本問題
1.2 學科專業(yè)名稱的演變、學科描述及培養(yǎng)側(cè)重點
1.2.1 演變中的學科專業(yè)名稱
1.2.2 分支學科(專業(yè))描述及培養(yǎng)側(cè)重點
1.3 學科知識體和核心課程
1.3.1 計算機科學知識體及專業(yè)核心課程
1.3.2 計算機工程知識體及專業(yè)核心課程
1.3.3 軟件工程知識體及專業(yè)核心課程
l.3.4 信息技術(shù)知識體及專業(yè)核心課程
1.4 如何構(gòu)建“計算機導論”課程
1.4.1 “計算機導論”課程的構(gòu)建是計算教育面臨的一個重大問題
1.4.2 計算學科的認知模型——計算學科二維定義矩陣
1.4.3 “計算機導論”課程的結(jié)構(gòu)設(shè)計
1.5 本章小結(jié)
習題一
第2章學科的基本問題
2.1 引言
2.2 對問題進行抽象的一個典型實例：哥尼斯堡七橋問題
2.3 可計算問題與不可計算問題
2.4 “GOTO語句”與程序的結(jié)構(gòu)
2.5 “哲學家共餐”問題與計算機的資源管理
2.6 “兩軍問題”與計算機網(wǎng)絡
2.7 人工智能中的若干哲學問題
2.8 計算機科學各主領(lǐng)域及其基本問題
2.9 本章小結(jié)
習題二
第3章 3個學科形態(tài)
第4章學科中的核心概念
第5章學科中的數(shù)學方法
第6章學科中的系統(tǒng)方法
第7章社會與職業(yè)問題
第8章探討與展望
附錄A 計算機科學知識體
附錄B Armstrong公理系統(tǒng)
附錄C 哲學家共餐問題的模型檢驗
附錄D m+o=m的定理證明
參考文獻