An in-depth introduction to discrete structures and processes such as counting techniques, sequences, indexed summations, introductory propositional and predicate logic, introductory induction and recursion, sets, relations, functions, graph theory and connections among these topics.