|The book is divided into eighteen chapters, each designed to be taught in
about one week. The first eight chapters follow a progression and the later ones can be covered in a variety of orders. The emphasis throughout is on
explicating the computational nature of the structures and processes and relating them to other computational formalisms. Proofs are rigorous, but not
overly formal, and there is extensive use of geometric intuition and diagrams.
Specific applications are discussed, with the emphasis on computational rather than engineering issues. There is a modest number of exercises at the end of most chapters.|