A comprehensive introduction to theoretical computer science that is enjoyable and easy to understand. This book takes a new approach. Topics in computer science, primarily from the field of theoretical computer science, which are usually taught at universities with all the underlying depth and structural theory, are presented here for a broader audience. The author illustrates that access to computer science through formal methods, fundamental ideas, and algorithms can be a lot of fun. Efficient, practical solutions are emphasized, promoting the clarity and applicability of the ideas. The wide range of models and concepts (in short: ideas) makes the larger context clear. An extensive bibliography of further reading complements this easily readable yet accurate and comprehensive presentation.