Logic, Mathematical Reasoning and Counting: Logic, Prepositional Equivalence, Predicate and Quantifiers, Theorem Proving.
Basics of Counting, Pigeonhole Principle, Permutation and Combinations.
Relations and Their Properties: Representing Relations, Closure of Relations, Partial Ordering, Equivalence Relations and partitions
Advanced Counting Techniques and Relations: Recurrence Relations, Solving Recurrence Relations, Solutions of Homogeneous Recurrence Relations.
Graph Theory: Introduction to Graphs, Graph Operations, Graph and Matrices, Graph Isomorphism, Connectivity, Euler and Hamilton Paths, Shortest Path Problem.