定 價:21.8 元
叢書名:高等學校計算機科學與技術專業(yè)系列教材
- 作者:董榮勝[著]
- 出版時間:2007/9/1
- ISBN:9787040224627
- 出 版 社:高等教育出版社
- 中圖法分類:TP3
- 頁碼:263頁
- 紙張:膠版紙
- 版次:1
- 開本:16K
本書的主要內(nèi)容包括:計算學科專業(yè)名稱的演變,學科的描述、培養(yǎng)側重點,學科各專業(yè)方向的知識體與核心課程,“計算機導論”課程的構建,學科的基本問題,學科中的抽象、理論和設計3個學科形態(tài),學科中的核心概念、數(shù)學方法、系統(tǒng)科學方法,社會與職業(yè)問題,學科若干問題的探討以及對學科教育的展望等。
《計算機科學導論:思想與方法》的撰寫建立在計算學科認知模型的基礎上,并在學科思想與方法層面上對學生進行整個學科的導引,為學生順利完成大學課程的學習提供必要的幫助。 從問題入手進行導引,是將學生引入學科富有挑戰(zhàn)性領域的一個有效方法!队嬎銠C科學導論:思想與方法》從與計算學科有關的若干著名問題出發(fā),引出學科及其分支領域的基本問題。增加了《計算機科學導論:思想與方法》的趣味性,使問題更易于理解和記憶。 從程序員的角度,以計算機語言的發(fā)展為主線,將自然語言、形式語言、圖靈機、馮·諾依曼計算機,以及程序等內(nèi)容聯(lián)系在一起,為學生以后深入學習和理解計算機系統(tǒng)打下基礎。
第1章 緒論
1.1 引言
1.1.1 計算學科命名的背景
1.1.2 計算學科的定義
1.1.3 計算學科的根本問題
1.2 學科專業(yè)名稱的演變、學科描述及培養(yǎng)側重點
1.2.1 演變中的學科專業(yè)名稱
1.2.2 分支學科(專業(yè))描述及培養(yǎng)側重點
1.3 學科知識體和核心課程
1.3.1 計算機科學知識體及專業(yè)核心課程
1.3.2 計算機工程知識體及專業(yè)核心課程
1.3.3 軟件工程知識體及專業(yè)核心課程
l.3.4 信息技術知識體及專業(yè)核心課程
1.4 如何構建“計算機導論”課程
1.4.1 “計算機導論”課程的構建是計算教育面臨的一個重大問題
1.4.2 計算學科的認知模型——計算學科二維定義矩陣
1.4.3 “計算機導論”課程的結構設計
1.5 本章小結
習題一
第2章 學科的基本問題
2.1 引言
2.2 對問題進行抽象的一個典型實例:哥尼斯堡七橋問題
2.3 可計算問題與不可計算問題
2.4 “GOTO語句”與程序的結構
2.5 “哲學家共餐”問題與計算機的資源管理
2.6 “兩軍問題”與計算機網(wǎng)絡
2.7 人工智能中的若干哲學問題
2.8 計算機科學各主領域及其基本問題
2.9 本章小結
習題二
第3章 3個學科形態(tài)
第4章 學科中的核心概念
第5章 學科中的數(shù)學方法
第6章 學科中的系統(tǒng)方法
第7章 社會與職業(yè)問題
第8章 探討與展望
附錄A 計算機科學知識體
附錄B Armstrong公理系統(tǒng)
附錄C 哲學家共餐問題的模型檢驗
附錄D m+o=m的定理證明
參考文獻