Computer Science: The Canon

Fall 2000 Reading List

Author Title Publisher/Source
Aiken, Howard Proposed Automatic Calculating Machine [1937] Reprinted in Makin' Numbers: Howard Aiken and the Computer I. B. Cohen, G. Welch, and R. Campbell (eds.) MIT Press, Cambridge MA 1999
Ada Augusta, Countess of Lovelace Notes on the Analytical Engine [1842] Reprinted in Charles Babbage and his Calculating Engines Philip and Emily Morrison, eds. Dover, New York 1961
Babbage, Charles Of the Analytical Engine [1864] Excerpted from Passages from the Life of a Philosopher M. Campbell-Kelly (ed.) Rutgers U. Press (reprint) 1994
Boole, George An Investigation of the Laws of Thought [1854] Dover Books, NY
Bush, Vannevar As We May Think [1945] Reprinted in From Memex to Hypertext, J. Nyce (ed.) Academic Books 1991
Brooks, Frederick The Mythical Man-Month Addison-Wesley, Reading MA 1975
Clarke, Arthur C. 2001: A Space Odyssey [1968] Reprinted by New American Library, 1993
Dijkstra, E. Go To Statement Considered Harmful [1968] Reprinted in Communications of the ACM, 26:1 (Jan. 1983)
Solution of a Problem in Concurrent Programming Control [1965]
Feynman, Richard Feynman Lectures on Computation Addison-Wesley, Reading MA 1996
There's Plenty of Room at the Bottom [1959] In Feynman and Computation, A. Hey, (ed.) Perseus Books, Reading, MA. 1999.
Gardner, Martin Columns on John Conway's game of Life Originally inScientific American (1970) Reprinted in Wheels, Life, and other Mathematical Amusements W. H. Freeman 1985
Goedel, Kurt On Formally Undecidable Propositions of Principia Mathematica and Related Systems [1931] Dover Books, 1992
Karp, R. Reducibility among Combinatorial Problems In Complexity of Computer Computations (pp. 85-104) R.E. Miller and J. W. Thatcher, eds. Plenum Press, NY 1972
Leibniz, G. On His Calculating Machine [1685] Reprinted in A Source Book of Mathematics, D.E. Smith, ed. Dover Books, NY 1959
Licklider, J.C.R. Man-Computer Symbiosis [1960] IRE Transactions on Human Factors in Electronics, HFE-1: 4­11, March
The Computer as a Communication Device [1968] Science and Technology, April.
Papert, Seymour Mindstorms [1980] MIT Press, Cambridge MA
Pascal, B. On His Calculating Machine [c. 1650] Reprinted in A Source Book of Mathematics, D.E. Smith, ed. Dover Books, NY 1959
Shannon, Claude The Mathematical Theory of Communication [1948] Reprinted in The Mathematical Theory of Communication C. Shannon and W. Weaver University of Illinois Press, 1963
Simon, Herbert A. The Sciences of the Artificial [1969/1981] MIT Press, Cambridge MA (2nd edition)
Turing, Alan Computing Machinery and Intelligence [1950] Mind. Reprinted in Readings in Cognitive Science Morgan Kaufmann, San Mateo, CA
On Computable Numbers, with an Application to the Entscheidungsproblem [1937] Proceedings of the London Mathematical Society, v.42 (1937)
Von Neumann, J. First Draft of a Report on the EDVAC [1945] Reprinted in The Origins of Digital Computers: Selected Papers Brian Randell, ed. Springer-Verlag, 1973
The General and Logical Theory of Automata [1951] Reprinted in The World of Mathematics J. Newman, ed. Simon and Schuster, 1956
Wiener, Norbert Cybernetics [1948/1961] MIT Press, 1962