新書推薦：
《
索恩丛书·北宋政治与保守主义：司马光的从政与思想（1019~1086）
》
售價：NT$
345.0
《
掌故家的心事
》
售價：NT$
390.0
《
农为邦本——农业历史与传统中国
》
售價：NT$
340.0
《
小麦文明：“黄金石油”争夺战
》
售價：NT$
445.0
《
悬壶杂记全集：老中医多年临证经验总结（套装3册） 中医医案诊疗思路和处方药应用
》
售價：NT$
614.0
《
无法忍受谎言的人：一个调查记者的三十年
》
售價：NT$
290.0
《
战争社会学专论
》
售價：NT$
540.0
《
剑桥意大利戏剧史（剑桥世界戏剧史译丛）
》
售價：NT$
740.0
|
| 內容簡介： |
|
本书系统总结了从算法到系统横跨计算机领域的6类计算原理（计算、通信、协作、记忆、评估和设计），旨在构建起一个框架帮助读者认识计算思维，领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式，并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算机专业计算机科学导论课程的教学参考书，也适合IT领域的程序员及专业人员阅读。
|
| 目錄：
|
目 录
Great Principles of Computing
出版者的话
译者序
序
前言
第1章 作为科学的计算1
计算的范型5
计算的重要原理9
计算在科学中的位置12
本书的关注点13
总结14
致谢14
第2章 计算领域15
领域和基本原理16
信息安全19
人工智能20
云计算22
大数据24
总结26
第3章 信息27
信息的表示28
通信系统30
信息的测量34
信息的转换38
交互系统40
解决悖论41
信息和发现42
总结43
致谢44
第4章 机器45
机器46
可以计算的机器49
程序及其表示53
栈式计算机：计算机系统的一种简单模型54
过程与异常56
选择的不确定性61
结论64
第5章 程序设计65
程序、程序员和程序设计语言66
程序设计实践68
程序中的错误70
自动翻译72
总结76
第6章 计算78
简单问题80
实例1 简单的线性搜索81
实例2 二分搜索81
实例3 排序82
实例4 矩阵乘法84
指数级困难问题85
实例5 所有的十位数85
实例6 背包问题85
实例7 参观所有城市86
实例8 合数分解87
计算困难但容易验证的问题88
NP完全89
不可计算问题92
总结96
第7章 存储98
存储系统99
存储器的基本使用模型100
命名101
映射105
虚拟存储105
共享107
能力108
认证111
层级结构中的定位112
为什么局部性是基础116
结论117
第8章 并行119
并行计算的早期方向120
并行系统的模型123
协作的顺序进程124
功能系统124
事件驱动的系统125
MapReduce系统125
协作的顺序进程125
功能系统131
结论134
第9章 排队136
排队论遇上计算机科学137
用模型计算和预测139
服务器、作业、网络和规则140
瓶颈144
平衡方程146
ATM147
电话交换机148
分时系统149
用模型来计算150
结论152
第10章 设计154
什么是设计156
软件系统的准则158
需求158
正确性159
容错性159
时效性160
适用性160
设计原理、模式和示意161
原理161
模式162
示意163
软件系统的设计原理163
层级式聚合164
封装165
级别166
虚拟机168
对象170
客户端与服务器171
总结172
第11章 网络173
弹性网络174
数据包交换175
互联网络协议178
传输控制协议179
客户端与服务器180
域名系统181
网络软件的组织结构183
万维网184
网络科学187
致谢188
第12章 后记189
没有意识的机器189
智能机器189
架构和算法191
经验思维192
一个崭新的机器时代来临192
我们的思维方式正在转变193
设计的核心性193
各章概要195
注释200
参考文献213
索引227
|
| 內容試閱：
|
前 言Great Principles of Computing就在70年前，除了少数专家之外，没有人听说过计算机。现在，计算机、软件和网络无处不在。在地球上的任何地方，它们都以更快的发展速度给我们的生活带来了各种各样的好处。
在这么短的几十年中，我们学会了设计和建造如此规模的系统，这真是一件令人吃惊的事。如今，通过支持大规模合作，计算技术使得知识工作能够自动化，同时也在不断扩大生产力。第二次机器革命正扑面而来1。这是如何实现的？是什么样的伟大思想使这一切成为可能？计算机给我们带来好处的同时也带来忧虑。计算机带来的自动化是否会使很多工人失业？计算机是否会成为终极监督工具而使我们失去隐私？计算机是否会发展出超越人类的智能？计算机能做的事情会有限制吗？我们相信，理解计算的原理和法则可以帮助人们理解计算是如何完成如此之多的工作的，并消除他们的忧虑。为此我们写了这本书，书中介绍了关于计算的一些最重要的原理，并以任何对计算有一定了解的人都能理解的方式呈现。
计算机科学（computer science）不只是设计计算设备的工程领域，它是一门关于信息处理的科学。计算受科学原理和法则支配，这些原理和法则告诉我们计算机能做什么、不能做什么。信息的法则揭示了根据物理法则无法直接得出的新的可能性和限制。专家们赋予计算机许多计算科学（computing science）告诉我们不可能拥有的能力，同时，这些专家又低估了计算机真正的能力。
计算机科学与很多其他领域相互交叉。许多科学与工程领域都有计算（computational）分支，如计算物理、计算化学、生物信息学、数字化产品设计与制造、计算社交网络、计算心脏病学等2。各层次的教育者正努力在他们拥挤的课程表中加入计算相关的课程，以保证课程体系的先进性。但仍有很多中学由于缺少计算机科学方面的教师而不能开设计算机课程。在商业领域，诸如大数据云计算网络安全等热门词汇也散发出共同的信号，期望计算原理在数据管理、分布式计算、信息保护中发挥作用。
一直以来，人们把计算看作一个按照摩尔定律高速发展的技术领域3。而我们的观点有所不同，我们相信计算更应该被描述为一个科学领域，具有跨越所有计算技术以及人工或自然的信息处理的基本原理。我们需要一种新的方法来刻画计算。就像望远镜之于天文学、显微镜之于生物学，计算机是计算的工具，而非计算的研究对象。
本书的重要原理框架（great principles framework）就是这样一种新的方法。它将计算原理分为6个类别：通信、计算、协作、记忆（存储）、评估和设计。计算原理是指用来指导或约束我们如何操纵物质和能量来进行计算的声明。计算原理可以是：（1）重现，包括描述可重复的因果关系的定律、过程及方法；（2）行为准则。局部性原理（locality principle）就是重现的一个例子：每一个计算在一定的时间间隔内，其对数据的访问都聚集在一个小的子集里。行为准则的一个例子就是网络程序员将协议软件划分为多个层次。所有这些原理的目的，都是希望通过增进理解和降低复杂性从而得到良好的设计。
每种计算技术都利用了这些类别的原理。这个框架是广泛和全面的，覆盖了计算的每个部分，包括算法、系统和设计。
从事计算工作的人员形成了许多计算领域（computing domain）实践社区，如人工智能、网络安全、云计算、大数据、图形学以及科学计算（computational science）等。这些领域都专注于推进领域向前发展并与其他社区互动，它们既从计算原理中获益，又受其约束。没有这些计算领域的原理框架是不完整的。
由于这6个类别过于庞大，我们决定将其所覆盖的范围分成11个更容易管理的模块，就像你在目录中看到的那样。关于这一点，我们将在第1章中详细说明。
从机器到通用的数字化计算的机器是早期计算领域的关注中心（从20世纪40年代到20世纪60年代）。计算被看作机器执行复杂演算、解方程、破译密码、分析数据及管理业务流程的行为。那时的先驱们将计算机科学定义为研究以计算机为中心的各种现象。
然而，这些年来，这一定义变得越来越没有意义。20世纪80年代的科学计算运动认为，计算是除了传统的理论和实验之外的一种新的做科学研究的方法。他们使用计算思维（computational thinking）这个术语作为研究和问题求解的思维训练，而不是作为建造计算机的方法。十年之后，一些领域的科学家开始发现各自领域内的自然信息处理，其中包括生物学（DNA翻译）、物理学（量子信息4）、认知科学（脑力过程）、视觉（图像识别）和经济学（信息流）。计算的重点从机器转变到信息处理，包括人工信息和自然信息。
现在，随着几乎所有事物的数字化，计算进入了人们的日常生活，包括求解问题的新方法，艺术、音乐、电影的新形式，社交网络，云计算，电子商务，以及新的学习方法等。用计算作比喻成为日常语言中的必要组成部分，比如我的软件有反应了或我的大脑崩溃了需要重启这样的表达方式。
为了应对这些变化，各大学一直都在设计新的基于原理的方法来开展关于计算的教学。华盛顿大学是这方面的先驱之一，它开发了关于熟练掌握信息技术的一门课程和教材，目前已经在高中和大学中广泛使用，以帮助学生学习并应用基本计算原理5。教育考试基金会（Educational Testing Foundation）与美国国家自然科学基金会（National Science Foundation）合作，开发了一门新的基于计算原理的先修课程6。现在很多人使用计算思维这个词，指的是在很多领域和日常生活中使用计算原理，而不仅局限于科学计算7。
随着计算领域的日趋成熟，它吸引了其他领域的众多追随者。我们知道有16本书是为感兴趣的非专业人员来解释计算的各个方面8。大部分书关注的只是单个部分的内容，如信息、编程、算法、自动化、隐私以及互联网原理等。本书则将这个领域作为一个整体来看待，给出所有各部分如何组合在一起的系统叙述。读者会发现在所有这些部分的背后是一套连贯的原理。
根据教授从其他专业转到计算机科学的研究生的经验，我们发现对于初学者来说，原理框架比技术框架更容易理解。当早期核心技术很少的时候，用技术思想的观点来描述该领域是一种好方法。1989年，美国计算机协会（Association for Computing Machinery，ACM）列出了9大核心技术。而在2005年，ACM列出了大约14种，到了2013年，则有约18种。本书的6类原理框架并不是重新定义计算的核心知识，但它确实提供了一种看待该领域并降低其表面复杂性的新方式。
起源和目标我们经常被问及6类原理的起源。20世纪90年代，本书作者之一Peter J. Denning在乔治梅森大学（George Mason University）开始这个项目。他从众多的同事那里收集了一个可能的原理陈述的列表。他发现了7个自然的群集，并将它们称为通信、计算、记忆（存储）、协作、评估、设计和自动化9。当组织本书的时候，我们意识到自动化并不是一个操纵物质和能量的类别，而是人工智能计算领域的重点。在本书中，我们从类别集合中删除了自动化，并将其包含在计算领域中。
这6个类别并不是把计算的知识空间划分成分离的片段。它们就像六角亭的窗户，每一扇窗户都以独特的方式呈现出内部空间，但同一件事物可以从多个窗户看到。例如，互联网有时以数据通信的方式、有时以协作的方式、有时以记忆（存储）的方式被看到。
这组类别有一个类别数目可控的框架，从而满足了我们的目标。虽然计算技术的列表还将继续增长，计算领域的集合也会扩大，但是类别的数目在较长时间内应该会保持稳定。
这本书是关于计算机科学的一个整体视角，注重最深入、最广泛的原理，即宇宙普适的原理（cosmic principle）10。本书将计算视作一种深层次的科学领域，其原理将影响包括商业和工业在内的其他每一个领域。
这本书是为所有想利用计算科学来达到其目标的人而设计的。受过科学教育的读者可以学到从算法到系统横跨整个领域的计算原理。而计算领域内的人，例如一个想要学习并行计算的程序员，可以找到这个巨大领域内不太熟悉的部分的概述。对于大学里学习诸如计算机科学基础课程的学生，本书可以帮助他们理解计算技术是如何影响他们的，例如网络和互联网如何使社交网络成为可能。初出茅庐的科学家、工程师和企业家可能在本书中找到一个面向整个计算机科学的科普型方法。
致谢Peter要感谢他在计算原理的漫长旅程中遇到的许多人，这一旅程开始于他11岁时，那时他的父亲给了他一本关于机器原理的不同寻常的书1911年出版的《How It Works》11。1960年，他的高中数学老师和科学社团导师Ralph Money，鼓励并引导他把精力投入计算机引领未来的机器中去。1964年，当他成为MIT Mac项目的学生时，他的导师Jack Dennis、Robert Fano、Jerry Saltzer、Fernando Corbato和Allan Scherr把他的兴趣扩展到所有计算背后的基本原理。1967年他发表的第二篇论文是关于存储管理的工作集原理，其灵感主要来自于Les Belady、Walter Kosinski、Brian Randell、Peter Neumann和Dick Karp的帮助。1969年，他带领一个工作小组设计操作系统原理的核心课程，他的队友Jack Dennis、Butler Lampson、Nico Habermann、Dick Muntz和Dennis Tsichritzis帮助确定了操作系统的原理，其中也包括Bruce Arden、Bernie Galler、Saul Rosen和Sam Conte的见解。在之后的几年里，Roger Needham和Maurice Wilkes提供了关于操作系统原理的很多新的见解。1973年，他与Ed Coffman合写了一本关于操作系统理论的书。
1975年，Jeff Buzen把他吸引到操作分析的新领域，这项研究关注计算机系统性能评估的基本原理。在那段时间里，Erol Gelenbe、Ken Sevcik、Dick Muntz、Leonard Kleinrock、Yon Bard、Martin Reiser和Mani Chandy都促进了他对计算原理的理解。
1985年，ACM教育委员会（ACM Education Board）请他领导一个项目，以确定计算作为一门学科应具备的核心原理，用于设计1991年ACMIEEE的课程推荐。他非常感谢这个团队加深了他对计算原理的理解，这个团队的成员有：Douglas Comer、David Gries、Michael Mulder、Allen Tucker、Joe Turner和Paul Young。
20世纪90年代中期，他开始在一个统一的框架下收集所
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
