深入理解运算原理：从简单的机器到无所不能的程式 pdf epub mobi txt 电子书下载 2024

图书介绍

☆☆☆☆☆
简体网页||繁体网页

著者

出版者出版社：欧莱礼订阅出版社新书快讯新功能介绍

翻译者译者：赖荣枢

出版日期出版日期：2017/11/28

语言语言：繁体中文

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找书就要到小特书站

ttbooks.qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-20

类似图书点击查看全场最低价

图书描述

Tom Stuart，电脑科学家、程式开发人员，也是伦敦一所数位产品顾问公司Codon的创办人。他担任顾问、领导者、培训师，协助公司改善他们创造软体产品的方法，尤其是这些方法的品质和清晰度。

　　终于能以既吸引人又极具实用的方式，学习运算理论和程式语言设计。这本书以你所认知的脉络解说电脑科学的理论，协助你察觉这些概念何以重要，以及如何将它们注入你的日常的程式设计工作。

　　本书扬弃数学符号或不熟悉的纯理论程式语言（例如Haskell或Lisp），而是以简化的风格，使用Ruby来呈现形式语意、自动机理论和lambda演算的函数程式设计。因此非常适合精通现代语言、但却欠缺电脑科学正规训练（或不足）的程式开发人员。

　　* 了解基础运算概念，诸如语言里的图灵完整性
　　* 发现程式如何使用动态语意将想法传达给机器
　　* 将电脑简化到只剩基本元素，探索它可以做什么
　　* 学习通用图灵机如何引领今日一般用途的电脑
　　* 使用简单的语言和细胞自动机来执行复杂的计算
　　* 判断哪些程式语言的功能是运算的重要基石
　　* 检查停止和自我参照如何使得某些运算问题无解
　　* 使用抽象解译和型别系统来分析程式