第1章 緒論.
1.1 引言
1.2 學(xué)科專(zhuān)業(yè)名稱(chēng)的演變、學(xué)科描述及培養(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è)核心課程
1.3.4 信息技術(shù)知識(shí)體及專(zhuān)業(yè)核心課程
1.4 如何構(gòu)建“計(jì)算機(jī)導(dǎo)論”課程
1.5 計(jì)算思維與計(jì)算機(jī)導(dǎo)論
1.6 本章小結(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.3.1 梵天塔問(wèn)題
2.3.2 算法復(fù)雜性中的難解性問(wèn)題、P類(lèi)問(wèn)題和NP類(lèi)問(wèn)題
2.3.3 證比求易算法
2.3.4 P=?NP
2.3.5 RSA公開(kāi)密鑰密碼系統(tǒng)
2.3.6 -個(gè)不可計(jì)算問(wèn)題：停機(jī)問(wèn)題
2.3.7 旅行商問(wèn)題與組合爆炸問(wèn)題
2.3.8 找零問(wèn)題、背包問(wèn)題與貪婪算法
2.4 GOTO話句與程序的結(jié)構(gòu)
2.5 哲學(xué)家共餐問(wèn)題與計(jì)算機(jī)的資源管理
2.6 兩軍問(wèn)題與計(jì)算機(jī)網(wǎng)絡(luò)
2.6.1 兩軍問(wèn)題
2.6.2 互聯(lián)網(wǎng)軟件的分層結(jié)構(gòu)
2.7 人工智能中的若干哲學(xué)問(wèn)題
2.7.1 圖靈測(cè)試
2.7.2 西爾勒的“中文屋子”
2.7.3 計(jì)算機(jī)中的博弈問(wèn)題
2.8 計(jì)算機(jī)科學(xué)各主領(lǐng)域及其基
本問(wèn)題
2.9 本章小結(jié)
習(xí)題二

第3章 3個(gè)學(xué)科形態(tài)
3.1 引言
3.2 一個(gè)關(guān)于“學(xué)生選課”的例子
3.2.1 對(duì)“學(xué)生選課”例子的感性認(rèn)識(shí)
3.2.2 對(duì)“學(xué)生選課”例子的理性認(rèn)識(shí)
3.2.3 “學(xué)生選課”系統(tǒng)的工程設(shè)計(jì)
3.3 抽象形態(tài).
3.4 理論形態(tài)
3.5 設(shè)計(jì)形態(tài).
3.6 3個(gè)學(xué)科形態(tài)的內(nèi)在聯(lián)系
3.7 計(jì)算機(jī)語(yǔ)言的發(fā)展及其3個(gè)學(xué)科形態(tài)的內(nèi)在聯(lián)系
3.7.1 自然語(yǔ)言與形式語(yǔ)言
3.7.2 圖靈機(jī)與馮·諾依曼計(jì)算機(jī).
3.7.3 機(jī)器指令與匯編語(yǔ)言
3.7.4 以虛擬機(jī)的觀點(diǎn)來(lái)劃分計(jì)算機(jī)的層次結(jié)構(gòu)
3.7.5 高級(jí)語(yǔ)言
3.7.6 應(yīng)用語(yǔ)言
3.7.7 自然語(yǔ)言
3.7.8 小結(jié)
3.8 計(jì)算機(jī)科學(xué)各領(lǐng)域3個(gè)學(xué)科形態(tài)的主要內(nèi)容
3.9 本章小結(jié)
習(xí)題三

第4章 學(xué)科中的核心概念
4.1 引言
4.2 算法
4.2.1 算法的歷史簡(jiǎn)介
4.2.2 算法的定義和特征.
4.2.3 算法實(shí)例.
4.2.4 算法的表示方法
4.2.5 算法分析
4.2.6 常用的兩類(lèi)算法：搜索與排序
4.3 數(shù)據(jù)結(jié)構(gòu)
4.3.1 數(shù)據(jù)結(jié)構(gòu)的基本概念
4.3 2基于Vcomputer機(jī)器的數(shù)據(jù)結(jié)構(gòu)概述
4.3.3 基于Vcomputer機(jī)器的數(shù)據(jù)的邏輯結(jié)構(gòu)
4.3.4 基于Vcomputer機(jī)器的數(shù)據(jù)昀存儲(chǔ)結(jié)構(gòu)l
4.4 程序
4.5 軟件
4.6 硬件
4.7 數(shù)據(jù)的存儲(chǔ)和表示
4.7.1 進(jìn)位制數(shù)及其相互轉(zhuǎn)換
4.7.2 原碼、反碼、補(bǔ)碼及其轉(zhuǎn)換
4.7.3 字符、字符串和漢字
4.7.4 圖像
4.7.5 聲音
4.8 CC1991報(bào)告提取的核心概念
4.9 本章小結(jié)
習(xí)題四

第5章 學(xué)科中的數(shù)學(xué)方法
5.1 引言
5.2 數(shù)學(xué)的基本特征
5.3 數(shù)學(xué)方法的作用
5.4 計(jì)算學(xué)科中常用的數(shù)學(xué)概念和術(shù)語(yǔ)
5.4.1 集合
5.4.2 函數(shù)和關(guān)系
5.4.3 代數(shù)系統(tǒng)
5.4.4 字母表、字符串和語(yǔ)言
5.4.5 定義、定理和證明
5.4.6 必要條件和充分條件
5.5 證明方法
5.5.1 直接證明法和間接證明法
5.5.2 反證法
5.5.3 歸納法
5.5.4 構(gòu)造性證明
5.6 遞婦和迭代
5.6.1 遞歸
5.6.2 迭代
5.7 隨機(jī)數(shù)和蒙特卡洛方法
5.7.1 隨機(jī)數(shù)
5.7.2 蒙特卡洛方法
5.8 公理化方法
5.8.1 理論體系
5.8.2 公理化方法的基本概念
5.8.3 實(shí)例
5.9 形式化方法
……
第6章 學(xué)科中的系統(tǒng)科學(xué)方法
第7章 社會(huì)與職業(yè)問(wèn)題
第8章 探討與展望
附錄A CC2001中的計(jì)算機(jī)科學(xué)知識(shí)體
附錄B Armstrong公理系統(tǒng)
附錄C 哲學(xué)家共餐問(wèn)題的模型檢驗(yàn)
附錄D m+O=m的定理證明
索引
參考文獻(xiàn)