More than any other book in the field, this text ties together discrete topics with a theme. Written at an appropriate level of rigor—with a strong pedagogical focus—it limits depth of coverage and areas covered to topics of genuine use in computer science. An emphasis on both basic theory and applications provides students with a firm foundation for more advanced courses.