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

第1章 緒論.
1.1 引言
1.2 學(xué)科專業(yè)名稱的演變、學(xué)科描述及培養(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è)核心課程
1.3.4 信息技術(shù)知識(shí)體及專業(yè)核心課程
1.4 如何構(gòu)建“計(jì)算機(jī)導(dǎo)論”課程
1.5 計(jì)算思維與計(jì)算機(jī)導(dǎo)論
1.6 本章小結(jié)
習(xí)題
第2章 學(xué)科的基本問題
2.1 引言
2.2 對(duì)問題進(jìn)行抽象的一個(gè)典型實(shí)例：哥尼斯堡七橋問題
2.3 可計(jì)算問題與不可計(jì)算問題
2.3.1 梵天塔問題
2.3.2 算法復(fù)雜性中的難解性問題、P類問題和NP類問題
2.3.3 證比求易算法
2.3.4 P=?NP
2.3.5 RSA公開密鑰密碼系統(tǒng)
2.3.6 -個(gè)不可計(jì)算問題：停機(jī)問題
2.3.7 旅行商問題與組合爆炸問題
2.3.8 找零問題、背包問題與貪婪算法
2.4 GOTO話句與程序的結(jié)構(gòu)
2.5 哲學(xué)家共餐問題與計(jì)算機(jī)的資源管理
2.6 兩軍問題與計(jì)算機(jī)網(wǎng)絡(luò)
2.6.1 兩軍問題
2.6.2 互聯(lián)網(wǎng)軟件的分層結(jié)構(gòu)
2.7 人工智能中的若干哲學(xué)問題
2.7.1 圖靈測(cè)試
2.7.2 西爾勒的“中文屋子”
2.7.3 計(jì)算機(jī)中的博弈問題
2.8 計(jì)算機(jī)科學(xué)各主領(lǐng)域及其基
本問題
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ī)語言的發(fā)展及其3個(gè)學(xué)科形態(tài)的內(nèi)在聯(lián)系
3.7.1 自然語言與形式語言
3.7.2 圖靈機(jī)與馮·諾依曼計(jì)算機(jī).
3.7.3 機(jī)器指令與匯編語言
3.7.4 以虛擬機(jī)的觀點(diǎn)來劃分計(jì)算機(jī)的層次結(jié)構(gòu)
3.7.5 高級(jí)語言
3.7.6 應(yīng)用語言
3.7.7 自然語言
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 常用的兩類算法：搜索與排序
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ù)語
5.4.1 集合
5.4.2 函數(shù)和關(guān)系
5.4.3 代數(shù)系統(tǒng)
5.4.4 字母表、字符串和語言
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è)問題
第8章 探討與展望
附錄A CC2001中的計(jì)算機(jī)科學(xué)知識(shí)體
附錄B Armstrong公理系統(tǒng)
附錄C 哲學(xué)家共餐問題的模型檢驗(yàn)
附錄D m+O=m的定理證明
索引
參考文獻(xiàn)