UNIT 1:
Propositional equivalences
Propositional equivalences
Predicates and Quantifiers
Predicates and Quantifiers
UNIT 2:
Strong induction and well ordering
The basics of counting - Pigeonhole principle
Permutations and combinations
Inclusion & exclusion principle -its applications
Solving linear recurrence relations
Solving linear recurrence relations
Solving linear recurrence relations
UNIT 3:
Matrix representation of graphs and graph isomorphism
Graph terminology and special types of graphs
Graph terminology and special types of graphs
Matrix representation of graphs and graph isomorphism
Matrix representation of graphs and graph isomorphism
Matrix representation of graphs and graph isomorphism
UNIT 4:
Normal subgroup and cosets
Normal subgroup and cosets
UNIT 5:
Partial ordering – Posets
Lattices as algebraic systems
Lattices as algebraic systems
Direct product and homomorphism
