Provides readers with a mathematical presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an understanding of the concepts through examples and illustrations.