計算機科學(xué)導(dǎo)論：思想與方法

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