舉報 
計算機科學概論（第13版）
最新章節：
教師支持申請表
本書是計算機科學概論課程教材，全書對計算機科學做了百科全書式的精彩闡述，充分展現了計算機科學的歷史背景、發展歷程和新的技術趨勢。本書首先介紹的是信息編碼及計算機體系結構的基本原理，進而介紹操作系統和組網及因特網的相關內容，接著探討算法、程序設計語言及軟件工程，然后討論數據抽象和數據庫方面的問題，講述圖形學的主要應用以及人工智能，最后以計算理論的介紹結束全書。本書在內容編排上由具體到抽象逐步推進，很適合教學安排，每一個主題自然而然地引導出下一個主題。此外，書中還包含大量的圖、表和示例，有助于讀者對知識的了解與把握。第13版的全彩色打印策略允許我們制作許多更具描述性的圖和圖表，使用語法著色對闡明本書中的代碼和偽代碼段有更好的效果。本書非常適合作為高等院校計算機以及相關專業本科生教材，也可以供有意在計算機方面發展的非計算機專業讀者作為入門參考。
最新章節
書友吧 1評論
品牌：人郵圖書
譯者：劉藝 吳英 毛倩倩
上架時間：2022-10-26 16:30:50
出版社：人民郵電出版社
本書數字版權由人郵圖書提供，并由其授權上海閱文信息技術有限公司制作發行
- 教師支持申請表 更新時間：2022-10-26 16:48:42
- 索引
- 附錄E 迭代結構與遞歸結構的等價性
- D.6 Java
- D.5 FORTRAN
- D.4 C
- D.3 C++
- D.2 C
- D.1 Ada
- 附錄D 高級程序設計語言
- C.2 Vole的機器語言
- C.1 Vole體系結構
- 附錄C Vole：一種簡單的機器語言
- 附錄B 用于處理二進制補碼表示的電路
- 附錄A ASCII碼
- 課外閱讀
- 社會問題
- 復習題
- 12.6.2 RSA公鑰密碼學
- 12.6.1 模表示法
- *12.6 公鑰密碼學
- 12.5.3 NP問題
- 12.5.2 多項式問題與非多項式問題
- 12.5.1 問題復雜性的度量
- 12.5 問題的復雜性
- 12.4.2 停機問題的不可解性
- 12.4.1 停機問題
- 12.4 一個不可計算的函數
- 12.3.3 Bare Bones的通用性
- 12.3.2 用Bare Bones語言編程
- 12.3.1 Bare Bones語言
- 12.3 通用程序設計語言
- 12.2.2 丘奇-圖靈論題
- 12.2.1 圖靈機的原理
- 12.2 圖靈機
- 12.1 函數及其計算
- 持久理解和學習成果
- 第12章 計算理論
- 課外閱讀
- 社會問題
- 復習題
- 11.7 后果的思考
- 11.6 機器人學
- 11.5.2 訓練人工神經網絡
- 11.5.1 基本特性
- 11.5 人工神經網絡
- 11.4.3 遺傳算法
- 11.4.2 學習
- 11.4.1 知識的表達和處理
- 11.4 其他研究領域
- 11.3.3 啟發式
- 11.3.2 搜索樹
- 11.3.1 產生式系統
- 11.3 推理
- 11.2.2 語言處理
- 11.2.1 理解圖像
- 11.2 感知
- 11.1.3 圖靈測試
- 11.1.2 研究方法
- 11.1.1 智能體
- 11.1 智能與機器
- 持久理解和學習成果
- 第11章 人工智能
- 課外閱讀
- 社會問題
- 復習題
- 10.6.3 動畫制作過程
- 10.6.2 運動學和動力學
- 10.6.1 動畫基礎
- 10.6 動畫
- 10.5.2 輻射度
- 10.5.1 光線跟蹤
- *10.5 處理全局光照
- 10.4.4 渲染－流水線硬件
- 10.4.3 著色
- 10.4.2 裁剪、掃描轉換和隱藏面消除
- 10.4.1 光－表面相互作用
- 10.4 渲染
- 10.3.2 整個場景的建模
- 10.3.1 單個物體的建模
- 10.3 建模
- 10.2 3D圖形學概述
- 10.1 計算機圖形學的范圍
- 持久理解和學習成果
- 第10章 計算機圖形學
- 課外閱讀
- 社會問題
- 復習題
- 9.7 數據庫技術的社會影響
- 9.6 數據挖掘
- 9.5.3 散列文件
- 9.5.2 索引文件
- 9.5.1 順序文件
- *9.5 傳統的文件結構
- 9.4.2 鎖定
- 9.4.1 提交/回滾協議
- *9.4 維護數據庫的完整性
- *9.3 面向對象數據庫
- 9.2.3 SQL
- 9.2.2 關系運算
- 9.2.1 關系設計中的問題
- 9.2 關系模型
- 9.1.4 數據庫模型
- 9.1.3 數據庫管理系統
- 9.1.2 模式的作用
- 9.1.1 數據庫系統的重要性
- 9.1 數據庫基礎
- 持久理解和學習成果
- 第9章 數據庫系統
- 課外閱讀
- 社會問題
- 復習題
- *8.7 機器語言中的指針
- 8.6 類和對象
- 8.5.2 抽象數據類型
- 8.5.1 用戶定義的數據類型
- 8.5 定制的數據類型
- 8.4 一個簡短的案例研究
- 8.3.6 操控數據結構
- 8.3.5 存儲二叉樹
- 8.3.4 存儲棧和隊列
- 8.3.3 存儲列表
- 8.3.2 存儲聚合
- 8.3.1 存儲數組
- 8.3 數據結構的實現
- 8.2.3 指針
- 8.2.2 靜態結構與動態結構
- 8.2.1 再談抽象
- 8.2 相關概念
- 8.1.3 樹
- 8.1.2 列表、棧和隊列
- 8.1.1 數組和聚合
- 8.1 基本數據結構
- 持久理解和學習成果
- 第8章 數據抽象
- 課外閱讀
- 社會問題
- 復習題
- 7.9 軟件所有權和責任
- 7.8 人機界面
- 7.7 文檔
- 7.6.2 軟件測試
- 7.6.1 質量保證的范圍
- 7.6 質量保證
- 7.5.3 設計模式
- 7.5.2 統一建模語言
- 7.5.1 較老的工具
- 7.5 行業工具
- 7.4.5 組件
- 7.4.4 信息隱藏
- 7.4.3 內聚
- 7.4.2 耦合
- 7.4.1 模塊式實現
- 7.4 模塊化
- 7.3 軟件工程方法學
- 7.2.2 傳統的開發階段
- 7.2.1 周期是個整體
- 7.2 軟件生命周期
- 7.1 軟件工程學科
- 持久理解和學習成果
- 第7章 軟件工程
- 課外閱讀
- 社會問題
- 復習題
- 6.7.2 Prolog
- 6.7.1 邏輯推演
- *6.7 說明性程序設計
- *6.6 程序設計并發活動
- 6.5.3 附加特性
- 6.5.2 構造器
- 6.5.1 類和對象
- 6.5 面向對象程序設計
- 6.4.2 軟件開發包
- 6.4.1 翻譯過程
- 6.4 語言實現
- 6.3.3 有返回值的函數
- 6.3.2 參數
- 6.3.1 函數
- 6.3 過程單元
- 6.2.6 注釋
- 6.2.5 控制語句
- 6.2.4 賦值語句
- 6.2.3 常量和字面量
- 6.2.2 數據結構
- 6.2.1 變量和數據類型
- 6.2 傳統的程序設計概念
- 6.1.3 程序設計范型
- 6.1.2 機器無關和超越機器無關
- 6.1.1 早期程序設計語言
- 6.1 歷史回顧
- 持久理解和學習成果
- 第6章 程序設計語言
- 課外閱讀
- 社會問題
- 復習題
- 5.6.2 軟件驗證
- 5.6.1 算法效率
- 5.6 效率和正確性
- 5.5.2 遞歸控制
- 5.5.1 二分搜索算法
- 5.5 遞歸結構
- 5.4.3 插入排序算法
- 5.4.2 循環控制
- 5.4.1 順序搜索算法
- 5.4 迭代結構
- 5.3.2 邁出第一步
- 5.3.1 問題求解的藝術
- 5.3 算法的發現
- 5.2.2 偽代碼
- 5.2.1 原語
- 5.2 算法的表示
- 5.1.3 算法的抽象本質
- 5.1.2 算法的正式定義
- 5.1.1 非正式的回顧
- 5.1 算法的概念
- 持久理解和學習成果
- 第5章 算法
- 課外閱讀
- 社會問題
- 復習題
- 4.6.4 網絡安全的法律途徑
- 4.6.3 密碼學
- 4.6.2 防護和對策
- 4.6.1 攻擊的形式
- 4.6 網絡安全
- 超越無限
- *4.5 簡單的客戶機服務器
- 4.4.2 TCP/IP協議簇
- 4.4.1 因特網軟件的分層方法
- *4.4 因特網協議
- 4.3.4 客戶端活動和服務器端活動
- 4.3.3 XML
- 4.3.2 HTML
- 4.3.1 萬維網實現
- 4.3 萬維網
- 4.2.3 因特網應用
- 4.2.2 因特網編址
- 4.2.1 因特網體系結構
- 4.2 因特網
- 4.1.5 分布式系統
- 4.1.4 進程間通信的方法
- 4.1.3 組合網絡
- 4.1.2 協議
- 4.1.1 網絡分類
- 4.1 網絡基礎
- 持久理解和學習成果
- 第4章 組網及因特網
- 課外閱讀
- 社會問題
- 復習題
- 3.5.2 來自內部的攻擊
- 3.5.1 來自外部的攻擊
- 3.5 安全性
- 3.4.2 死鎖
- 3.4.1 信號量
- *3.4 處理進程間的競爭
- 3.3.2 進程管理
- 3.3.1 進程的概念
- 3.3 協調機器的活動
- 3.2.3 系統啟動
- 3.2.2 操作系統組件
- 3.2.1 軟件概述
- 3.2 操作系統的體系結構
- 3.1 操作系統的歷史
- 持久理解和學習成果
- 第3章 操作系統
- 課外閱讀
- 社會問題
- 復習題
- 2.7.2 多處理器機器
- 2.7.1 流水線
- *2.7 其他體系結構
- 2.6.5 馬拉松訓練助手
- 2.6.4 輸入和輸出
- 2.6.3 函數
- 2.6.2 控制結構
- 2.6.1 邏輯運算和移位運算
- *2.6 數據操控編程
- 2.5.5 通信速率
- 2.5.4 流行的通信媒介
- 2.5.3 握手
- 2.5.2 直接存儲器存取
- 2.5.1 控制器的作用
- *2.5 與其他設備通信
- 2.4.3 算術運算
- 2.4.2 循環移位運算及移位運算
- 2.4.1 邏輯運算
- *2.4 算術/邏輯指令
- 2.3.2 程序與數據
- 2.3.1 程序執行的一個例子
- 2.3 程序執行
- 2.2.5 Vole：一種演示用的機器語言
- 2.2.4 控制類
- 2.2.3 算術/邏輯類
- 2.2.2 數據傳輸類
- 2.2.1 指令系統
- 2.2 機器語言
- 2.1.2 存儲程序概念
- 2.1.1 CPU基礎知識
- 2.1 計算機體系結構
- 持久理解和學習成果
- 第2章 數據操控
- 課外閱讀
- 社會問題
- 復習題
- 1.10.2 糾錯碼
- 1.10.1 奇偶校驗位
- *1.10 通信差錯
- 1.9.3 音頻和視頻壓縮
- 1.9.2 圖像壓縮
- 1.9.1 通用的數據壓縮技術
- *1.9 數據壓縮
- 1.8.6 調試
- 1.8.5 貨幣轉換
- 1.8.4 運算符和表達式
- 1.8.3 變量
- 1.8.2 你好，Python
- 1.8.1 Python入門
- *1.8 數據與程序設計
- 1.7.2 截斷誤差
- 1.7.1 浮點記數法
- *1.7 分數的存儲
- 1.6.4 余碼記數法
- 1.6.3 溢出問題
- 1.6.2 二進制補碼記數法中的加法
- 1.6.1 二進制補碼記數法
- *1.6 整數的存儲
- 1.5.3 二進制中的分數
- 1.5.2 二進制加法
- 1.5.1 二進制記數法
- *1.5 二進制系統
- 1.4.4 聲音的表示
- 1.4.3 圖像的表示
- 1.4.2 數值的表示
- 1.4.1 文本的表示
- 1.4 用位模式表示信息
- 1.3.3 閃存驅動器
- 1.3.2 光系統
- 1.3.1 磁系統
- 1.3 海量存儲器
- 1.2.2 存儲器容量的度量
- 1.2.1 存儲器結構
- 1.2 主存儲器
- 1.1.3 十六進制記數法
- 1.1.2 門和觸發器
- 1.1.1 布爾運算
- 1.1 位和位存儲
- 持久理解和學習成果
- 第1章 數據存儲
- 課外閱讀
- 社會問題
- 0.4.7 影響
- 0.4.6 因特網
- 0.4.5 程序設計
- 0.4.4 數據
- 0.4.3 創新
- 0.4.2 抽象
- 0.4.1 算法
- 0.4 計算機科學的首要主題
- 0.3 學習大綱
- 0.2 計算的歷史
- 0.1 算法的作用
- 持久理解和學習成果
- 第0章 緒論
- 關于異步社區和異步圖書
- 與我們聯系
- 掃碼關注本書
- 提交勘誤
- 配套資源
- 資源與服務
- 本書與AP計算機科學原理課程框架之間的關聯
- 致謝
- 致學生
- 補充材料
- 教學特色
- 致教師
- 章節安排
- 第13版新增的內容
- 讀者對象
- 前言
- 版權聲明
- 內容提要
- 版權
- 版權信息
- 封面
- 封面
- 版權信息
- 版權
- 內容提要
- 版權聲明
- 前言
- 讀者對象
- 第13版新增的內容
- 章節安排
- 致教師
- 教學特色
- 補充材料
- 致學生
- 致謝
- 本書與AP計算機科學原理課程框架之間的關聯
- 資源與服務
- 配套資源
- 提交勘誤
- 掃碼關注本書
- 與我們聯系
- 關于異步社區和異步圖書
- 第0章 緒論
- 持久理解和學習成果
- 0.1 算法的作用
- 0.2 計算的歷史
- 0.3 學習大綱
- 0.4 計算機科學的首要主題
- 0.4.1 算法
- 0.4.2 抽象
- 0.4.3 創新
- 0.4.4 數據
- 0.4.5 程序設計
- 0.4.6 因特網
- 0.4.7 影響
- 社會問題
- 課外閱讀
- 第1章 數據存儲
- 持久理解和學習成果
- 1.1 位和位存儲
- 1.1.1 布爾運算
- 1.1.2 門和觸發器
- 1.1.3 十六進制記數法
- 1.2 主存儲器
- 1.2.1 存儲器結構
- 1.2.2 存儲器容量的度量
- 1.3 海量存儲器
- 1.3.1 磁系統
- 1.3.2 光系統
- 1.3.3 閃存驅動器
- 1.4 用位模式表示信息
- 1.4.1 文本的表示
- 1.4.2 數值的表示
- 1.4.3 圖像的表示
- 1.4.4 聲音的表示
- *1.5 二進制系統
- 1.5.1 二進制記數法
- 1.5.2 二進制加法
- 1.5.3 二進制中的分數
- *1.6 整數的存儲
- 1.6.1 二進制補碼記數法
- 1.6.2 二進制補碼記數法中的加法
- 1.6.3 溢出問題
- 1.6.4 余碼記數法
- *1.7 分數的存儲
- 1.7.1 浮點記數法
- 1.7.2 截斷誤差
- *1.8 數據與程序設計
- 1.8.1 Python入門
- 1.8.2 你好，Python
- 1.8.3 變量
- 1.8.4 運算符和表達式
- 1.8.5 貨幣轉換
- 1.8.6 調試
- *1.9 數據壓縮
- 1.9.1 通用的數據壓縮技術
- 1.9.2 圖像壓縮
- 1.9.3 音頻和視頻壓縮
- *1.10 通信差錯
- 1.10.1 奇偶校驗位
- 1.10.2 糾錯碼
- 復習題
- 社會問題
- 課外閱讀
- 第2章 數據操控
- 持久理解和學習成果
- 2.1 計算機體系結構
- 2.1.1 CPU基礎知識
- 2.1.2 存儲程序概念
- 2.2 機器語言
- 2.2.1 指令系統
- 2.2.2 數據傳輸類
- 2.2.3 算術/邏輯類
- 2.2.4 控制類
- 2.2.5 Vole：一種演示用的機器語言
- 2.3 程序執行
- 2.3.1 程序執行的一個例子
- 2.3.2 程序與數據
- *2.4 算術/邏輯指令
- 2.4.1 邏輯運算
- 2.4.2 循環移位運算及移位運算
- 2.4.3 算術運算
- *2.5 與其他設備通信
- 2.5.1 控制器的作用
- 2.5.2 直接存儲器存取
- 2.5.3 握手
- 2.5.4 流行的通信媒介
- 2.5.5 通信速率
- *2.6 數據操控編程
- 2.6.1 邏輯運算和移位運算
- 2.6.2 控制結構
- 2.6.3 函數
- 2.6.4 輸入和輸出
- 2.6.5 馬拉松訓練助手
- *2.7 其他體系結構
- 2.7.1 流水線
- 2.7.2 多處理器機器
- 復習題
- 社會問題
- 課外閱讀
- 第3章 操作系統
- 持久理解和學習成果
- 3.1 操作系統的歷史
- 3.2 操作系統的體系結構
- 3.2.1 軟件概述
- 3.2.2 操作系統組件
- 3.2.3 系統啟動
- 3.3 協調機器的活動
- 3.3.1 進程的概念
- 3.3.2 進程管理
- *3.4 處理進程間的競爭
- 3.4.1 信號量
- 3.4.2 死鎖
- 3.5 安全性
- 3.5.1 來自外部的攻擊
- 3.5.2 來自內部的攻擊
- 復習題
- 社會問題
- 課外閱讀
- 第4章 組網及因特網
- 持久理解和學習成果
- 4.1 網絡基礎
- 4.1.1 網絡分類
- 4.1.2 協議
- 4.1.3 組合網絡
- 4.1.4 進程間通信的方法
- 4.1.5 分布式系統
- 4.2 因特網
- 4.2.1 因特網體系結構
- 4.2.2 因特網編址
- 4.2.3 因特網應用
- 4.3 萬維網
- 4.3.1 萬維網實現
- 4.3.2 HTML
- 4.3.3 XML
- 4.3.4 客戶端活動和服務器端活動
- *4.4 因特網協議
- 4.4.1 因特網軟件的分層方法
- 4.4.2 TCP/IP協議簇
- *4.5 簡單的客戶機服務器
- 超越無限
- 4.6 網絡安全
- 4.6.1 攻擊的形式
- 4.6.2 防護和對策
- 4.6.3 密碼學
- 4.6.4 網絡安全的法律途徑
- 復習題
- 社會問題
- 課外閱讀
- 第5章 算法
- 持久理解和學習成果
- 5.1 算法的概念
- 5.1.1 非正式的回顧
- 5.1.2 算法的正式定義
- 5.1.3 算法的抽象本質
- 5.2 算法的表示
- 5.2.1 原語
- 5.2.2 偽代碼
- 5.3 算法的發現
- 5.3.1 問題求解的藝術
- 5.3.2 邁出第一步
- 5.4 迭代結構
- 5.4.1 順序搜索算法
- 5.4.2 循環控制
- 5.4.3 插入排序算法
- 5.5 遞歸結構
- 5.5.1 二分搜索算法
- 5.5.2 遞歸控制
- 5.6 效率和正確性
- 5.6.1 算法效率
- 5.6.2 軟件驗證
- 復習題
- 社會問題
- 課外閱讀
- 第6章 程序設計語言
- 持久理解和學習成果
- 6.1 歷史回顧
- 6.1.1 早期程序設計語言
- 6.1.2 機器無關和超越機器無關
- 6.1.3 程序設計范型
- 6.2 傳統的程序設計概念
- 6.2.1 變量和數據類型
- 6.2.2 數據結構
- 6.2.3 常量和字面量
- 6.2.4 賦值語句
- 6.2.5 控制語句
- 6.2.6 注釋
- 6.3 過程單元
- 6.3.1 函數
- 6.3.2 參數
- 6.3.3 有返回值的函數
- 6.4 語言實現
- 6.4.1 翻譯過程
- 6.4.2 軟件開發包
- 6.5 面向對象程序設計
- 6.5.1 類和對象
- 6.5.2 構造器
- 6.5.3 附加特性
- *6.6 程序設計并發活動
- *6.7 說明性程序設計
- 6.7.1 邏輯推演
- 6.7.2 Prolog
- 復習題
- 社會問題
- 課外閱讀
- 第7章 軟件工程
- 持久理解和學習成果
- 7.1 軟件工程學科
- 7.2 軟件生命周期
- 7.2.1 周期是個整體
- 7.2.2 傳統的開發階段
- 7.3 軟件工程方法學
- 7.4 模塊化
- 7.4.1 模塊式實現
- 7.4.2 耦合
- 7.4.3 內聚
- 7.4.4 信息隱藏
- 7.4.5 組件
- 7.5 行業工具
- 7.5.1 較老的工具
- 7.5.2 統一建模語言
- 7.5.3 設計模式
- 7.6 質量保證
- 7.6.1 質量保證的范圍
- 7.6.2 軟件測試
- 7.7 文檔
- 7.8 人機界面
- 7.9 軟件所有權和責任
- 復習題
- 社會問題
- 課外閱讀
- 第8章 數據抽象
- 持久理解和學習成果
- 8.1 基本數據結構
- 8.1.1 數組和聚合
- 8.1.2 列表、棧和隊列
- 8.1.3 樹
- 8.2 相關概念
- 8.2.1 再談抽象
- 8.2.2 靜態結構與動態結構
- 8.2.3 指針
- 8.3 數據結構的實現
- 8.3.1 存儲數組
- 8.3.2 存儲聚合
- 8.3.3 存儲列表
- 8.3.4 存儲棧和隊列
- 8.3.5 存儲二叉樹
- 8.3.6 操控數據結構
- 8.4 一個簡短的案例研究
- 8.5 定制的數據類型
- 8.5.1 用戶定義的數據類型
- 8.5.2 抽象數據類型
- 8.6 類和對象
- *8.7 機器語言中的指針
- 復習題
- 社會問題
- 課外閱讀
- 第9章 數據庫系統
- 持久理解和學習成果
- 9.1 數據庫基礎
- 9.1.1 數據庫系統的重要性
- 9.1.2 模式的作用
- 9.1.3 數據庫管理系統
- 9.1.4 數據庫模型
- 9.2 關系模型
- 9.2.1 關系設計中的問題
- 9.2.2 關系運算
- 9.2.3 SQL
- *9.3 面向對象數據庫
- *9.4 維護數據庫的完整性
- 9.4.1 提交/回滾協議
- 9.4.2 鎖定
- *9.5 傳統的文件結構
- 9.5.1 順序文件
- 9.5.2 索引文件
- 9.5.3 散列文件
- 9.6 數據挖掘
- 9.7 數據庫技術的社會影響
- 復習題
- 社會問題
- 課外閱讀
- 第10章 計算機圖形學
- 持久理解和學習成果
- 10.1 計算機圖形學的范圍
- 10.2 3D圖形學概述
- 10.3 建模
- 10.3.1 單個物體的建模
- 10.3.2 整個場景的建模
- 10.4 渲染
- 10.4.1 光－表面相互作用
- 10.4.2 裁剪、掃描轉換和隱藏面消除
- 10.4.3 著色
- 10.4.4 渲染－流水線硬件
- *10.5 處理全局光照
- 10.5.1 光線跟蹤
- 10.5.2 輻射度
- 10.6 動畫
- 10.6.1 動畫基礎
- 10.6.2 運動學和動力學
- 10.6.3 動畫制作過程
- 復習題
- 社會問題
- 課外閱讀
- 第11章 人工智能
- 持久理解和學習成果
- 11.1 智能與機器
- 11.1.1 智能體
- 11.1.2 研究方法
- 11.1.3 圖靈測試
- 11.2 感知
- 11.2.1 理解圖像
- 11.2.2 語言處理
- 11.3 推理
- 11.3.1 產生式系統
- 11.3.2 搜索樹
- 11.3.3 啟發式
- 11.4 其他研究領域
- 11.4.1 知識的表達和處理
- 11.4.2 學習
- 11.4.3 遺傳算法
- 11.5 人工神經網絡
- 11.5.1 基本特性
- 11.5.2 訓練人工神經網絡
- 11.6 機器人學
- 11.7 后果的思考
- 復習題
- 社會問題
- 課外閱讀
- 第12章 計算理論
- 持久理解和學習成果
- 12.1 函數及其計算
- 12.2 圖靈機
- 12.2.1 圖靈機的原理
- 12.2.2 丘奇-圖靈論題
- 12.3 通用程序設計語言
- 12.3.1 Bare Bones語言
- 12.3.2 用Bare Bones語言編程
- 12.3.3 Bare Bones的通用性
- 12.4 一個不可計算的函數
- 12.4.1 停機問題
- 12.4.2 停機問題的不可解性
- 12.5 問題的復雜性
- 12.5.1 問題復雜性的度量
- 12.5.2 多項式問題與非多項式問題
- 12.5.3 NP問題
- *12.6 公鑰密碼學
- 12.6.1 模表示法
- 12.6.2 RSA公鑰密碼學
- 復習題
- 社會問題
- 課外閱讀
- 附錄A ASCII碼
- 附錄B 用于處理二進制補碼表示的電路
- 附錄C Vole：一種簡單的機器語言
- C.1 Vole體系結構
- C.2 Vole的機器語言
- 附錄D 高級程序設計語言
- D.1 Ada
- D.2 C
- D.3 C++
- D.4 C
- D.5 FORTRAN
- D.6 Java
- 附錄E 迭代結構與遞歸結構的等價性
- 索引
- 教師支持申請表 更新時間：2022-10-26 16:48:42
