Logic. Proposition Equivalences. Predicates and Quantifiers. Sets. Functions. Methods of Proofs. Mathematical Induction. Pigeonhole Principle. Counting Techniques. Permutations. Combinations. Relations. Representing Relations. Equivalence Relations. Partial Orderings. Graphs. Representing Graphs. Connectivity of Graphs. Euler and Hamilton Paths. Shortest Path Problems. Planar Graphs. Graph Coloring. Spanning Trees. Minimal Spanning Trees.