<>.

深入理解運算原理｜從簡單的機器到無所不能的程式 /
Detalles Bibliográficos
Autor principal: Stuart, Tom (Autor)
Autor Corporativo: Safari, an O'Reilly Media Company
Formato: Electrónico eBook
Idioma:Chino
Publicado: GoTop Information, Inc., 2017.
Edición:1st edition.
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000Ma 4500
001 OR_on1272906164
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cn |||
008 190821s2017 xx go 0o0 0 chi d
040 |a TOH  |b eng  |c TOH  |d OCLCO  |d VT2  |d RDF  |d STF  |d KSU  |d UPM  |d TOH  |d OCLCQ 
066 |c $1 
019 |a 1281717674 
020 |a 9789864766000 
020 |a 9864766007 
024 8 |a 9789864766000 
029 1 |a AU@  |b 000071520910 
035 |a (OCoLC)1272906164  |z (OCoLC)1281717674 
049 |a UAMI 
100 1 |a Stuart, Tom,  |e author. 
245 1 0 |6 880-99  |a <>. 
250 |a 1st edition. 
264 1 |b GoTop Information, Inc.,  |c 2017. 
300 |a 1 online resource (344 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file 
365 |b 39.99 
542 |f Copyright ©Tom Stuart  |g 2017 
550 |a Made available through: Safari, an O'Reilly Media Company. 
588 0 |a Online resource; Title from title page (viewed November 21, 2017). 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
710 2 |a O'Reilly for Higher Education (Firm),  |e distributor. 
710 2 |a Safari, an O'Reilly Media Company. 
856 4 0 |u https://learning.oreilly.com/library/view/~/9789864766000/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
880 1 0 |6 245-99  |a 深入理解運算原理｜從簡單的機器到無所不能的程式 /  |c Stuart, Tom. 
880 |6 520-00  |a Tom Stuart,電腦科學家、程式開發人員,也是倫敦一所數位產品顧問公司Codon的創辦人。 他擔任顧問、領導者、培訓師,協助公司改善他們創造軟體產品的方法,尤其是這些方法的品質和清晰度。 終於能以既吸引人又極具實用的方式,學習運算理論和程式語言設計。這本書以你所認知的脈絡解說電腦科學的理論,協助你察覺這些概念何以重要,以及如何將它們注入你的日常的程式設計工作。 本書揚棄數學符號或不熟悉的純理論程式語言(例如Haskell或Lisp),而是以簡化的風格,使用Ruby來呈現形式語意、自動機理論和lambda演算的函數程式設計。因此非常適合精通現代語言、但卻欠缺電腦科學正規訓練(或不足)的程式開發人員。 * 瞭解基礎運算概念,諸如語言裡的圖靈完整性 * 發現程式如何使用動態語意將想法傳達給機器 * 將電腦簡化到只剩基本元素,探索它可以做什麼 * 學習通用圖靈機如何引領今日一般用途的電腦 * 使用簡單的語言和細胞自動機來執行複雜的計算 * 判斷哪些程式語言的功能是運算的重要基石 * 檢查停止和自我參照如何使得某些運算問題無解 * 使用抽象解譯和型別系統來分析程式 
994 |a 92  |b IZTAP 

Ejemplares similares