UNIT 1:
Problems on Predicate Calculus
Consistency of premised and Indirect method of proof
Inference theory of Statement Calculus & Rules of Inference
Problems based on inference theory of Statement Calculus
Proposition & Connectives
Tautology & Logical Equivalence
Proof methods and strategy.
UNIT 2:
Problems on Mathematical induction, Strong induction and well ordering
Permutations and combinations
Solution of Linear Recurrence relations
Inclusion and exclusion principle and its applications.
UNIT 3:
Graph terminology and special types of graphs
Matrix representation of Graphs
Theorems on Euler & Hamiltonian Paths
Theorems on Euler & Hamiltonian Paths
Euler & Hamiltonian Paths
UNIT 4:
Def and eg of Rings and fields
UNIT 5:
Relation & Partial order Relation
Lattices as algebraic systems & Sub lattices
Theorems on Boolean algebra