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 Elusive Codes
DETECTING PRIMES An Algorithm that Almost Always Works
UNIVERSAL TURING MACHINES Computers as Programs
TEXT COMPRESSION Huffman Coding
DISK OPERATING SYSTEMS Bootstrapping the Computer
NP-COMPLETE PROBLEMS The Tree of Intractability
ITERATION AND RECURSION The Towers of Hanoi
VLSI COMPUTERS Circuits in Silicon
LINEAR PROGRAMMING The Simplex Method
PREDICATE CALCULUS The Resolution Method
THE HALTING PROBLEM The Uncomputable
COMPUTER VIRUSES A Software Invasion
SEARCHING STRINGS The Boyer-Moore Algorithm
PARALLEL COMPUTING Processors with Connections
THE WORD PROBLEM Dictionaries as Programs
LOGIC PROGRAMMING Prologue to Expertise
RELATIONAL DATABASES Do-It-Yourself Queries
CHURCH'S THESIS All Computers Are Created Equal

Index