An introduction to the intellectual enterprises of computer science and the art of programming.