. 深入理解運算原理|從簡單的機器到無所不能的程式
                                                                      
 
 
 
 

深入理解運算原理|從簡單的機器到無所不能的程式
Understanding Computation
 
作者: Tom Stuart
譯者: 賴榮樞
書號: A462     出版日: 2017/11/21
ISBN: 9789864766000     EAN: 9789864766000
紙本書價格: 600     附件: 
電子書: 尚未出版
試讀  
  博客來  
  金石堂  
  天瓏  
  MOMO  
  團體購書



回頁首
Tom Stuart,電腦科學家、程式開發人員,也是倫敦一所數位產品顧問公司Codon的創辦人。 他擔任顧問、領導者、培訓師,協助公司改善他們創造軟體產品的方法,尤其是這些方法的品質和清晰度。

終於能以既吸引人又極具實用的方式,學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論,協助你察覺這些概念何以重要,以及如何將它們注入你的日常的程式設計工作。

本書揚棄數學符號或不熟悉的純理論程式語言(例如Haskell或Lisp),而是以簡化的風格,使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練(或不足)的程式開發人員。

* 瞭解基礎運算概念,諸如語言裡的圖靈完整性
* 發現程式如何使用動態語意將想法傳達給機器
* 將電腦簡化到只剩基本元素,探索它可以做什麼
* 學習通用圖靈機如何引領今日一般用途的電腦
* 使用簡單的語言和細胞自動機來執行複雜的計算
* 判斷哪些程式語言的功能是運算的重要基石
* 檢查停止和自我參照如何使得某些運算問題無解
* 使用抽象解譯和型別系統來分析程式

回頁首
Tom Stuart
電腦科學家、程式開發人員,也是倫敦一所數位產品顧問公司Codon的創辦人。他擔任顧問、領導者、培訓師,協助公司改善他們創造軟體產品的方法,尤其是這些方法的品質和清晰度。


回頁首

第1章 夠用的Ruby
第2章 程式的意義
第3章 最簡單的電腦
第4章 只想加入運算能力
第5章 終極機器
第6章 無為的程式設計
第7章 四處皆通用
第8章 不可能的程式
第9章 Toyland 程式設計

回頁首

網站可靠性工程|Google的系統管理之道 軟體專案開發實務|別只當編程猴 精通機器學習|使用Python

回頁首

請選擇所需之附件
勘誤資料
檔案名稱
下載
檔案名稱
下載
A462-勘誤資料


 


  
 

關於碁峰隱私權政策聯絡我們     檢視 : PC 版  手機版
碁峰資訊股份有限公司 GOTOP INFORMATION INC.
台北市南港區三重路66號7樓之6 / 7F.-6,No.66,Sanchong Rd.,Nangang District,Taipei
TEL:(02)2788-2408 FAX:(02)8192-4433 劃撥帳號:14244383
Copyright 2014© GOTOP Information Inc, All Rights Reserved 請勿任意連結、轉載