UNIT 1:
Propositional equivalences
Predicates and Quantifiers
Predicates and Quantifiers
Propositional equivalences
Propositional equivalences
Propositional equivalences
Predicates and Quantifiers
UNIT 2:
Strong induction and well ordering
The basics of counting - Pigeonhole principle
Solving linear recurrence relations
Permutations and combinations
Permutations and combinations
UNIT 3:
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
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
Direct product and homomorphism