The textbook deals with precise thinking, a key competence in the study of computer science. It serves as a foundation for understanding the logical fundamentals of computer science. Learning mathematical logic is an essential part of the undergraduate curriculum, as logical thinking in computer science is based on the same rules and techniques as in mathematics. The author provides a comprehensive introduction to propositional logic and explains, among other things, the meanings of logical equivalence, implication, and induction for this field. Furthermore, he defines proof from a mathematical perspective and presents fundamental proof strategies that are necessary for the studies. With the techniques of precise thinking presented in this textbook, students acquire the ability to define terms accurately, formulate statements distinctly, and justify their correctness appropriately. Many practical exercises and solution hints within the chapters facilitate the review and deepening of the learning material.

The author primarily targets first-semester bachelor's students. They will find in this work an optimal preparation for the logic seminars of their computer science studies. The competencies conveyed not only enhance understanding in computer science studies but are also of great importance for later professional life. Additionally, interested laypersons will gain an interesting insight into the world of computer science and mathematics with this book and learn that the ability to think precisely can also be helpful beyond these fields.