"Computer science is the body of knowledge dealing with the design, analysis, implementation, efficiency, and application of processes that transform information. The fundamental question underlying all of computer science is `what can be automated'?" (p. 16.)
"The following paragraphs outline the principal content of the eleven areas [of CS], listing the fundamental questions and the major accomplishments of each." (p. 17.)
THEORY. ... Automatic theorem proving.
NUMERICAL COMPUTATION. ... Symbolic manipulators capable of pwoerful and nonobvious reductions, differentiations, and integrations of expressions.
PROGRAMMING LANGUAGES AND METHODOLOGY. ... Functional languages such as ... Lisp, Prolog .... Object-manipulating languages such as Smalltalk ....
ALGORITHMS AND DATA STRUCTURES. ... Identification of general methods applicable across many classes of problems, such as ... lists, ... tree algorithms.
OPERATING SYSTEMS. ... Prototypes of timesharing systems .... High-level command interfaces ... includ[ing] ... pointers such as the "mouse."
NETWORKS. ... Local networks ... Ethernet ...
HUMAN INTERFACE. ... Advanced forms of input and output such as ... the "mouse" pointer.
ARTIFICIAL INTELLIGENCE. This area deals with the simulation of intelligence. The fundamental questions are: What is intelligence? What basic models of intelligence are there and how do we build machines that simulate them? To what extgent is intelligence described by rule evaluation and what is the ultimate performance of machines that simulate intelligence by evaluating rules? To what extent is intelligence unpredictable, and can this be modeled by randomness in the machine? The major accomplishments are:
"Autonomous vehicles: A DARPA-funded onboard computer system from Carnegie Mellon University drove a van all but 52 of the 2849 miles from Washington, DC to San Diego, averaging 63 miles per hour day and night, rain or shine;
Computer chess: Deep Blue, a chess computer built by IBM researchers, defeated world champion Gary Kasparov in a landmark performance;
Mathematical theorem proving: A computer system at Argonne National Laboratories proved a long-standing mathematical conjecture about algebra using a method that would be considered creative if done by humans;
Scientific classification: A NASA system learned to classify very faint signals as either stars or galaxies with superhuman accuracy, by studying examples classified by experts;
Advanced user interfaces: PEGASUS is a spoken language interface connected to the American Airlines EAASY SABRE reservation system, which allows subscribers to obtain flight information and make flight reservations via a large, on-line, dynamic database, accessed through their personal computer over the telephone." (p. 49).
"A computer beat the world champion at chess. A robot is on Mars
making a few of its own decisions." (p. 8.)