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

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