Conditional Propositions. Logical Equivalence. Quantifiers. Proofs. Mathematical Induction. Sets. Relations. Matrices and Relations. Equivalence Relations. Functions. Counting Techniques. Permutations. Combinations. Binomial Coefficients. Combinatorial Identities. Pigeonhole Principle. Partial Orderings. Graphs. Representing Graphs. Euler and Hamilton Paths. Shortest Path Problems. Planar Graphs. Spanning Trees. Minimal Spanning Trees. Binary Trees.