具体描述
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 ttbooks.qciss.net All Rights Reserved. 小特书站 版权所有