The New Turing Omnibus: Sixty-Six Excursions in Computer Science

Preface
Icons

ALGORITHMS Cooking Up Programs
FINITE AUTOMATA The Black Box
SYSTEMS OF LOGIC Boolean Bases
SIMULATION The Monte Carlo Method
GÖDEL'S THEOREM Limits on Logic
GAME TRESS The Minimax Method
THE COMSKY HIERARCHY Four Computers
RANDOM NUMBERS The Chaitin-Kolmogoroff Theory
MATHEMATICAL RESEARCH The Mandelbrot Set
PROGRAM CORRECTNESS Ultimate Debugging
SEARCH TRESS Traversal and Maintenance
ERROR-CORRECTING CODE Pictures from Space
BOOLEAN LOGIC Expressions and Circuits
REGULAR LANGUAGE Pumping Words
TIME AND SPACE COMPLEXITY The Big-0 Notation
GENETIC ALGORITHMS Solutions That Evolve
THE RANDOM ACCESS MACHINE An Abstract Computer
SPINAL CURVES Smooth Interpolation
COMPUTER VISION Polyhedral Scenes
KARNAUGH MAPS Circuit Minimization
THE NEWTON-RAPHSON METHOD Finding Roots
MINIMUM SPANNING TREES A Fast Algorithm
GENERATIVE GRAMMARS Lindenmayer Systems
RECURSION The Sierpinski Curve
FAST MULTIPLICATION Divide and Conquer
NONDETERMINISM Automata That Guess Correctly
PERCEPTIONS A Lack of Vision
ENCODERS AND MULTIPLEXERS Manipulating Memory
CAT SCANNING Cross-Sectional X-Rays
TIE PARTITION PROBLEM A Pseudo-fast Algorithm
TURING MACHINES The Simplest Computers
THE FAST FOURIER TRANSFORM Redistributing Images
ANALOG COMPUTATION Spaghetti Computers
SATISFIABILITY A Central Problem
SEQUENTIAL SORTING A Lower Bound on Speed
NEURAL NETWORKS THAT LEARN Converting Coordinates
PUBLIC KEY CRYPTOGRAPHY Intractable Secrets
SEQUENTIAL CIRCUITS A Computer Memory
NONCOMPUTABLE FUNCTIONS The Busy Beaver Problem
HEAPS AND MERGES The Fastest Sorts of Sorts
NP-COMPLETENESS Wall of Intractability
NUMBER SYSTEMS FOR COMPUTING Chinese Arithmetic
STORAGE BY HASHING The Key Is the Address
CELLULAR AUTOMATA The Game of Life
COOK'S THEOREM Nuts and Bolts
SELF-REPLICATING COMPUTERS Codd's Machine
STORING IMAGES A Cat in a Quad Tree
THE SCRAM A Simplified Computer
SHANNON'S THEORY The

A. K. Dewdney