Beschreibung:
This textbook presents all the fundamental topics of discrete mathematics that are introduced from the perspectives of a pure mathematician and an applied computer scientist. The integration of the two perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. Thus, it is an excellent introduction to computer science and software engineering.
Definitions, Theorems, and Proofs; Arithmetic; Graphs; Circuits; Trees; Basics of Sets; Relations and Databases; Induction; Reachability Games on Graphs; Functions and Transitions; Propositional Logic; Finite Automata; Regular Expressions; Counting; Probability.