Course Outline:

Introduction to logic, Propositional and predicate calculus, Introduction to proofs, Methods of Proof: Direct proofs, Proofs by Contradiction, Sets, Relations and Functions, Optimization and matching, Sequences, Cardinality and Countability, Combinatorics, Pigeonhole Principle, Probabilistic Methods, Analysis and Complexity of Algorithms, Trees and Graphs, Formal logic, Mathematical Induction and Recursion, loop invariant, Elementary number theory.

Recommended Books:

• "Probability, Statistics and Random Processes for Electrical Engineering", 3rd Ed - Leon-Garcia
• "Discrete Mathematics and its Applications", 7th Ed - Kenneth H. Rosen
• "Discrete Mathematics with Applications", 4th Ed - Susanna S. Epp