深入理解運算原理｜從簡單的機器到無所不能的程式 Understanding Computation ( 繁體 字) |
| 作者：Tom Stuart | 類別：1. -> 程式設計 -> 綜合 |
| 譯者：賴榮樞 |
| 出版社：歐萊禮圖書 |  3dWoo書號： 48048
詢問書籍請說出此書號！【缺書】
NT定價： 600 元
折扣價： 474 元
|
| 出版日：11/21/2017 |
| 頁數：331 |
| 光碟數：0 |
|
站長推薦：   |
| 印刷：黑白印刷 | 語系： ( 繁體 版 ) |
| |
加入購物車  │加到我的最愛
(請先登入會員) |
| ISBN：9789864766000 |
| 作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
| (簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
| 作者序： |
| 譯者序： |
| 前言： |
內容簡介：Tom Stuart，電腦科學家、程式開發人員，也是倫敦一所數位產品顧問公司Codon的創辦人。 他擔任顧問、領導者、培訓師，協助公司改善他們創造軟體產品的方法，尤其是這些方法的品質和清晰度。
終於能以既吸引人又極具實用的方式，學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論，協助你察覺這些概念何以重要，以及如何將它們注入你的日常的程式設計工作。
本書揚棄數學符號或不熟悉的純理論程式語言（例如Haskell或Lisp），而是以簡化的風格，使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練（或不足）的程式開發人員。
* 瞭解基礎運算概念，諸如語言裡的圖靈完整性
* 發現程式如何使用動態語意將想法傳達給機器
* 將電腦簡化到只剩基本元素，探索它可以做什麼
* 學習通用圖靈機如何引領今日一般用途的電腦
* 使用簡單的語言和細胞自動機來執行複雜的計算
* 判斷哪些程式語言的功能是運算的重要基石
* 檢查停止和自我參照如何使得某些運算問題無解
* 使用抽象解譯和型別系統來分析程式 |
目錄：第1章 夠用的Ruby
第2章 程式的意義
第3章 最簡單的電腦
第4章 只想加入運算能力
第5章 終極機器
第6章 無為的程式設計
第7章 四處皆通用
第8章 不可能的程式
第9章 Toyland 程式設計 |
| 序： |
