Lectures on Discrete Mathematics for Computer Science
Bakhadyr Khoussainov, Nodira Khoussainova · Algebra and discrete mathematics · 2011
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.