本書的主要內(nèi)容包括:計(jì)算學(xué)科專業(yè)名稱的演變,學(xué)科的描述、培養(yǎng)側(cè)重點(diǎn),學(xué)科各專業(yè)方向的知識(shí)體與核心課程,“計(jì)算機(jī)導(dǎo)論”課程的構(gòu)建,學(xué)科的基本問題,學(xué)科中的抽象、理論和設(shè)計(jì)3個(gè)學(xué)科形態(tài),學(xué)科中的核心概念、數(shù)學(xué)方法、系統(tǒng)科學(xué)方法,社會(huì)與職業(yè)問題,學(xué)科若干問題的探討以及對(duì)學(xué)科教育的展望等。
《計(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》的撰寫建立在計(jì)算學(xué)科認(rèn)知模型的基礎(chǔ)上,并在學(xué)科思想與方法層面上對(duì)學(xué)生進(jìn)行整個(gè)學(xué)科的導(dǎo)引,為學(xué)生順利完成大學(xué)課程的學(xué)習(xí)提供必要的幫助。 從問題入手進(jìn)行導(dǎo)引,是將學(xué)生引入學(xué)科富有挑戰(zhàn)性領(lǐng)域的一個(gè)有效方法。《計(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》從與計(jì)算學(xué)科有關(guān)的若干著名問題出發(fā),引出學(xué)科及其分支領(lǐng)域的基本問題。增加了《計(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》的趣味性,使問題更易于理解和記憶。 從程序員的角度,以計(jì)算機(jī)語(yǔ)言的發(fā)展為主線,將自然語(yǔ)言、形式語(yǔ)言、圖靈機(jī)、馮·諾依曼計(jì)算機(jī),以及程序等內(nèi)容聯(lián)系在一起,為學(xué)生以后深入學(xué)習(xí)和理解計(jì)算機(jī)系統(tǒng)打下基礎(chǔ)。
第1章 緒論
1.1 引言
1.1.1 計(jì)算學(xué)科命名的背景
1.1.2 計(jì)算學(xué)科的定義
1.1.3 計(jì)算學(xué)科的根本問題
1.2 學(xué)科專業(yè)名稱的演變、學(xué)科描述及培養(yǎng)側(cè)重點(diǎn)
1.2.1 演變中的學(xué)科專業(yè)名稱
1.2.2 分支學(xué)科(專業(yè))描述及培養(yǎng)側(cè)重點(diǎn)
1.3 學(xué)科知識(shí)體和核心課程
1.3.1 計(jì)算機(jī)科學(xué)知識(shí)體及專業(yè)核心課程
1.3.2 計(jì)算機(jī)工程知識(shí)體及專業(yè)核心課程
1.3.3 軟件工程知識(shí)體及專業(yè)核心課程
l.3.4 信息技術(shù)知識(shí)體及專業(yè)核心課程
1.4 如何構(gòu)建“計(jì)算機(jī)導(dǎo)論”課程
1.4.1 “計(jì)算機(jī)導(dǎo)論”課程的構(gòu)建是計(jì)算教育面臨的一個(gè)重大問題
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é)科的基本問題
2.1 引言
2.2 對(duì)問題進(jìn)行抽象的一個(gè)典型實(shí)例:哥尼斯堡七橋問題
2.3 可計(jì)算問題與不可計(jì)算問題
2.4 “GOTO語(yǔ)句”與程序的結(jié)構(gòu)
2.5 “哲學(xué)家共餐”問題與計(jì)算機(jī)的資源管理
2.6 “兩軍問題”與計(jì)算機(jī)網(wǎng)絡(luò)
2.7 人工智能中的若干哲學(xué)問題
2.8 計(jì)算機(jī)科學(xué)各主領(lǐng)域及其基本問題
2.9 本章小結(jié)
習(xí)題二
第3章 3個(gè)學(xué)科形態(tài)
第4章 學(xué)科中的核心概念
第5章 學(xué)科中的數(shù)學(xué)方法
第6章 學(xué)科中的系統(tǒng)方法
第7章 社會(huì)與職業(yè)問題
第8章 探討與展望
附錄A 計(jì)算機(jī)科學(xué)知識(shí)體
附錄B Armstrong公理系統(tǒng)
附錄C 哲學(xué)家共餐問題的模型檢驗(yàn)
附錄D m+o=m的定理證明
參考文獻(xiàn)