Logic: Logic, Prepositional Equivalence, Predicate and Quantifiers, Theorem Proving.
Chapter-1 (Sections: 11.-1.5)
Basics of Counting, Pigeonhole Principle, Permutation and Combinations.
Chapter-4 (Sections: 4.1-4.3)
Advanced Counting Techniques and Relations: Recurrence Relations, Solving Recurrence Relations, Solutions of Homogeneous Recurrence Relations.
Chapter-6 (Sections: 6.1-6.2)
Relations and Their Properties: Representing Relations, Closure of Relations, Partial Ordering, Equivalence Relations and partitions.
Chapter-7 (Sections: 7.1, 7.3-7.6)
Graph Theory: Introduction to Graphs, Graph Operations, Graph and Matrices, Graph Isomorphism, Connectivity, Euler and Hamilton Paths, Shortest Path Problems.
Chapter-8 (Sections: 8.1, 8.4-8.6)