《"十二五"普通高等教育本科國家級規劃教材:計算機科學導論:思想與方法(第2版)》根據教育部高等學校計算機科學與技術教學指導委員會、IEEE—CS和ACM對計算機導論課程的要求，在學科思想方法這個較高的層面將學科知識有機地統一起來
基本介紹
- 作者：董榮勝
- ISBN：9787040367874
- 頁數：299
- 定價：28.60元
- 出版時間：2013-2
內容介紹,目錄,
內容介紹
避免了學科知識的雜亂堆積，有助於課程的教與學，也有助於學生計算思維能力的提高。
目錄
第1章 緒論.
1.1 引言
1.2 學科專業名稱的演變、學科描述及培養側重點
1.3 學科知識體和核心課程
1.3.1 計算機科學知識體及專業核心課程
1.3.2 計算機工程知識體及專業核心課程
1.3.3 軟體工程知識體及專業核心課程
1.3.4 信息技術知識體及專業核心課程
1.4 如何構建“計算機導論”課程
1.5 計算思維與計算機導論
1.6 本章小結
習題
第2章 學科的基本問題
2.1 引言
2.2 對問題進行抽象的一個典型實例：哥尼斯堡七橋問題
2.3 可計算問題與不可計算問題
2.3.1 梵天塔問題
2.3.2 算法複雜性中的難解性問題、P類問題和NP類問題
2.3.3 證比求易算法
2.3.4 P=?NP
2.3.5 RSA公開密鑰密碼系統
2.3.6 -個不可計算問題：停機問題
2.3.7 旅行商問題與組合爆炸問題
2.3.8 找零問題、背包問題與貪婪算法
2.4 GOTO話句與程式的結構
2.5 哲學家共餐問題與計算機的資源管理
2.6 兩軍問題與計算機網路
2.6.1 兩軍問題
2.6.2 網際網路軟體的分層結構
2.7 人工智慧中的若干哲學問題
2.7.1 圖靈測試
2.7.2 西爾勒的“中文屋子”
2.7.3 計算機中的博弈問題
2.8 計算機科學各主領域及其基
本問題
2.9 本章小結
習題二
第3章 3個學科形態
3.1 引言
3.2 一個關於“學生選課”的例子
3.2.1 對“學生選課”例子的感性認識
3.2.2 對“學生選課”例子的理性認識
3.2.3 “學生選課”系統的工程設計
3.3 抽象形態.
3.4 理論形態
3.5 設計形態.
3.6 3個學科形態的內在聯繫
3.7 計算機語言的發展及其3個學科形態的內在聯繫
3.7.1 自然語言與形式語言
3.7.2 圖靈機與馮·諾依曼計算機.
3.7.3 機器指令與彙編語言
3.7.4 以虛擬機的觀點來劃分計算機的層次結構
3.7.5 高級語言
3.7.6 套用語言
3.7.7 自然語言
3.7.8 小結
3.8 計算機科學各領域3個學科形態的主要內容
3.9 本章小結
習題三
第4章 學科中的核心概念
4.1 引言
4.2 算法
4.2.1 算法的歷史簡介
4.2.2 算法的定義和特徵.
4.2.3 算法實例.
4.2.4 算法的表示方法
4.2.5 算法分析
4.2.6 常用的兩類算法：搜尋與排序
4.3 數據結構
4.3.1 數據結構的基本概念
4.3 2基於Vputer機器的數據結構概述
4.3.3 基於Vputer機器的數據的邏輯結構
4.3.4 基於Vputer機器的數據昀存儲結構l
4.4 程式
4.5 軟體
4.6 硬體
4.7 數據的存儲和表示
4.7.1 進位制數及其相互轉換
4.7.2 原碼、反碼、補碼及其轉換
4.7.3 字元、字元串和漢字
4.7.4 圖像
4.7.5 聲音
4.8 CC1991報告提取的核心概念
4.9 本章小結
習題四
第5章 學科中的數學方法
5.1 引言
5.2 數學的基本特徵
5.3 數學方法的作用
5.4 計算學科中常用的數學概念和術語
5.4.1 集合
5.4.2 函式和關係
5.4.3 代數系統
5.4.4 字母表、字元串和語言
5.4.5 定義、定理和證明
5.4.6 必要條件和充分條件
5.5 證明方法
5.5.1 直接證明法和間接證明法
5.5.2 反證法
5.5.3 歸納法
5.5.4 構造性證明
5.6 遞婦和疊代
5.6.1 遞歸
5.6.2 疊代
5.7 隨機數和蒙特卡洛方法
5.7.1 隨機數
5.7.2 蒙特卡洛方法
5.8 公理化方法
5.8.1 理論體系
5.8.2 公理化方法的基本概念
5.8.3 實例
5.9 形式化方法
……
第6章 學科中的系統科學方法
第7章 社會與職業問題
第8章 探討與展望
附錄A CC2001中的計算機科學知識體
附錄B Armstrong公理系統
附錄C 哲學家共餐問題的模型檢驗
附錄D m+O=m的定理證明
索引
參考文獻
