Online Resource
[Erscheinungsort nicht ermittelbar] : GoTop Information, Inc.
|
Boston, MA : Safari
ISBN:
9789864766000
Language:
English
,
Chinese
Pages:
1 online resource (344 pages)
Edition:
1st edition
Keywords:
Electronic books ; local
Abstract:
Tom Stuart，電腦科學家、程式開發人員，也是倫敦一所數位產品顧問公司Codon的創辦人。 他擔任顧問、領導者、培訓師，協助公司改善他們創造軟體產品的方法，尤其是這些方法的品質和清晰度。 終於能以既吸引人又極具實用的方式，學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論，協助你察覺這些概念何以重要，以及如何將它們注入你的日常的程式設計工作。 本書揚棄數學符號或不熟悉的純理論程式語言（例如Haskell或Lisp），而是以簡化的風格，使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練（或不足）的程式開發人員。 * 瞭解基礎運算概念，諸如語言裡的圖靈完整性 * 發現程式如何使用動態語意將想法傳達給機器 * 將電腦簡化到只剩基本元素，探索它可以做什麼 * 學習通用圖靈機如何引領今日一般用途的電腦 * 使用簡單的語言和細胞自動機來執行複雜的計算 * 判斷哪些程式語言的功能是運算的重要基石 * 檢查停止和自我參照如何使得某些運算問題無解 * 使用抽象解譯和型別系統來分析程式
Note:
Online resource; Title from title page (viewed November 21, 2017)
,
Mode of access: World Wide Web.
| Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |
