圖書描述
Tom Stuart，電腦科學家、程式開發人員，也是倫敦一所數位產品顧問公司Codon的創辦人。 他擔任顧問、領導者、培訓師，協助公司改善他們創造軟體產品的方法，尤其是這些方法的品質和清晰度。
終於能以既吸引人又極具實用的方式，學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論，協助你察覺這些概念何以重要，以及如何將它們注入你的日常的程式設計工作。
本書揚棄數學符號或不熟悉的純理論程式語言（例如Haskell或Lisp），而是以簡化的風格，使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練（或不足）的程式開發人員。
* 瞭解基礎運算概念，諸如語言裡的圖靈完整性
* 發現程式如何使用動態語意將想法傳達給機器
* 將電腦簡化到只剩基本元素，探索它可以做什麼
* 學習通用圖靈機如何引領今日一般用途的電腦
* 使用簡單的語言和細胞自動機來執行複雜的計算
* 判斷哪些程式語言的功能是運算的重要基石
* 檢查停止和自我參照如何使得某些運算問題無解
* 使用抽象解譯和型別系統來分析程式
終於能以既吸引人又極具實用的方式，學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論，協助你察覺這些概念何以重要，以及如何將它們注入你的日常的程式設計工作。
本書揚棄數學符號或不熟悉的純理論程式語言（例如Haskell或Lisp），而是以簡化的風格，使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練（或不足）的程式開發人員。
* 瞭解基礎運算概念，諸如語言裡的圖靈完整性
* 發現程式如何使用動態語意將想法傳達給機器
* 將電腦簡化到只剩基本元素，探索它可以做什麼
* 學習通用圖靈機如何引領今日一般用途的電腦
* 使用簡單的語言和細胞自動機來執行複雜的計算
* 判斷哪些程式語言的功能是運算的重要基石
* 檢查停止和自我參照如何使得某些運算問題無解
* 使用抽象解譯和型別系統來分析程式
著者信息
作者簡介
Tom Stuart
電腦科學家、程式開發人員，也是倫敦一所數位產品顧問公司Codon的創辦人。他擔任顧問、領導者、培訓師，協助公司改善他們創造軟體產品的方法，尤其是這些方法的品質和清晰度。
Tom Stuart
電腦科學家、程式開發人員，也是倫敦一所數位產品顧問公司Codon的創辦人。他擔任顧問、領導者、培訓師，協助公司改善他們創造軟體產品的方法，尤其是這些方法的品質和清晰度。
圖書目錄
第1章 夠用的Ruby
第2章 程式的意義
第3章 最簡單的電腦
第4章 只想加入運算能力
第5章 終極機器
第6章 無為的程式設計
第7章 四處皆通用
第8章 不可能的程式
第9章 Toyland 程式設計
第2章 程式的意義
第3章 最簡單的電腦
第4章 只想加入運算能力
第5章 終極機器
第6章 無為的程式設計
第7章 四處皆通用
第8章 不可能的程式
第9章 Toyland 程式設計
圖書序言
圖書試讀
None
用户评价
相关图书
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 twbook.tinynews.org All Rights Reserved. 灣灣書站 版權所有