本書(shū)的主要內(nèi)容包括:計(jì)算學(xué)科專(zhuān)業(yè)名稱(chēng)的演變,學(xué)科的描述、培養(yǎng)側(cè)重點(diǎn),學(xué)科各專(zhuān)業(yè)方向的知識(shí)體與核心課程,“計(jì)算機(jī)導(dǎo)論”課程的構(gòu)建,學(xué)科的基本問(wèn)題,學(xué)科中的抽象、理論和設(shè)計(jì)3個(gè)學(xué)科形態(tài),學(xué)科中的核心概念、數(shù)學(xué)方法、系統(tǒng)科學(xué)方法,社會(huì)與職業(yè)問(wèn)題,學(xué)科若干問(wèn)題的探討以及對(duì)學(xué)科教育的展望等。
《計(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》的撰寫(xiě)建立在計(jì)算學(xué)科認(rèn)知模型的基礎(chǔ)上,并在學(xué)科思想與方法層面上對(duì)學(xué)生進(jìn)行整個(gè)學(xué)科的導(dǎo)引,為學(xué)生順利完成大學(xué)課程的學(xué)習(xí)提供必要的幫助。 從問(wèn)題入手進(jìn)行導(dǎo)引,是將學(xué)生引入學(xué)科富有挑戰(zhàn)性領(lǐng)域的一個(gè)有效方法!队(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》從與計(jì)算學(xué)科有關(guān)的若干著名問(wèn)題出發(fā),引出學(xué)科及其分支領(lǐng)域的基本問(wèn)題。增加了《計(jì)算機(jī)科學(xué)導(dǎo)論:思想與方法》的趣味性,使問(wèn)題更易于理解和記憶。 從程序員的角度,以計(jì)算機(jī)語(yǔ)言的發(fā)展為主線(xiàn),將自然語(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é)科的根本問(wèn)題
1.2 學(xué)科專(zhuān)業(yè)名稱(chēng)的演變、學(xué)科描述及培養(yǎng)側(cè)重點(diǎn)
1.2.1 演變中的學(xué)科專(zhuān)業(yè)名稱(chēng)
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)