Ideas That Created the Future Classic Papers of Computer Science

by
Format: Paperback
Pub. Date: 2021-02-02
Publisher(s): The MIT Press
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $64.00

Buy New

Usually Ships in 5-7 Business Days
$63.94

Rent Textbook

Select for Price
There was a problem. Please try again later.

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

Classic papers by thinkers ranging from from Aristotle and Leibniz to Norbert Wiener and Gordon Moore that chart the evolution of computer science.

Ideas That Created the Future collects forty-six classic papers in computer science that map the evolution of the field. It covers all aspects of computer science: theory and practice, architectures and algorithms, and logic and software systems, with an emphasis on the period of 1936-1980 but also including important early work. Offering papers by thinkers ranging from Aristotle and Leibniz to Alan Turing and Nobert Wiener, the book documents the discoveries and inventions that created today's digital world. Each paper is accompanied by a brief essay by Harry Lewis, the volume's editor, offering historical and intellectual context.

Author Biography

Harry R. Lewis is Gordon McKay Research Professor of Computer Science at Harvard University.

Table of Contents

1 Prior Analytics (∼350 BCE) 1
2 The True Method (1677) 5
3 Sketch of the Analytical Engine (1843) 9
4 An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854) 27
5 Mathematical Problems (1900) 45
6 On Computable Numbers, with an Application to the Entscheidungsproblem (1936) 51
7 A Proposed Automatic Calculating Machine (1937) 61
8 A Symbolic Analysis of Relay and Switching Circuits (1938) 71 
9 A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) 79
10 First Draft of a Report on the EDVAC (1945) 89
11 As We May Think (1945) 107
12 A Mathematical Theory of Communication (1948) 121
13 Error Detecting and Error Correcting Codes (1950) 135
14 Computing Machinery and Intelligence (1950) 147
15 The Best Way to Design an Automatic Calculating Machine (1951) 165
16 The Education of a Computer (1952) 169
17 On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem (1956) 179
18 The Perceptron: A Probabilistic Model for Information Storage and Organization (1958) 183
19 Some Moral and Technical Consequences of Automation (1960) 191
20 Man–Computer Symbiosis (1960) 201
21 Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960) 213
22 Augmenting Human Intellect: A Conceptual Framework (1962) 225
23 An Experimental Time-Sharing System (1962) 237
24 Sketchpad (1963) 251
25 Cramming More Components onto Integrated Circuits (1965) 261
26 Solution of a Problem in Concurrent Program Control (1965) 267
27 ELIZA—A Computer Program for the Study of Natural Language Communication between Man and Machine (1966) 271
28 The Structure of the “THE”-Multiprogramming System (1968) 279
29 Go To Statement Considered Harmful (1968) 289
30 Gaussian Elimination is Not Optimal (1969) 293
31 An Axiomatic Basis for Computer Programming (1969) 297
32 A Relational Model of Large Shared Data Banks (1970) 307
33 Managing the Development of Large Software Systems (1970) 321
34 The Complexity of Theorem-Proving Procedures (1971) 333 
35 A Statistical Interpretation of Term Specificity and Its Application in Retrieval (1972) 339
36 Reducibility among Combinatorial Problems (1972) 349
37 The Unix Time-Sharing System (1974) 357
38 A Protocol for Packet Network Intercommunication (1974) 373
39 Programming with Abstract Data Types (1974) 387
40 The Mythical Man-Month (1975) 399
41 Ethernet: Distributed Packet Switching for Local Computer Networks (1976) 407
42 New Directions in Cryptography (1976) 421
43 Big Omicron and Big Omega and Big Theta (1976) 441
44 Social Processes and Proofs of Theorems and Programs (1977) 447
45 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978) 463
46 How to Share a Secret (1979) 475
Bibliography 479
Index 491

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.