Unit-I
Set Theory: Definition of sets, countable and uncountable sets, Venn Diagrams, proofs of some
general identities on sets
Relation: Definition, types of relation, composition of relations, Pictorial representation of relation, equivalence relation, partial ordering relation.
Function: Definition, type of functions, one to one, into and onto function, inverse function,
composition of functions, recursively defined functions.
Theorem proving Techniques: mathematical induction (simple and strong), pigeonhole
principle, prove by contradiction.
Unit-II  
Algebraic Structures: Definition, Properties, types: Semi Groups, Monoid, Groups, Abelian
group, properties of groups, Subgroup, cyclic groups, Cosets, factor group, Permutation groups,
Normal subgroup, Homomorphism and isomorphism of Groups, example and standard results,
Rings and Fields: definition and standard results.
Unit-III 
Posets, Hasse Diagram and Lattices: Introduction, ordered set, Hasse diagram of partially,
ordered set, isomorphic ordered set, well ordered set, properties of Lattices, bounded I and
complemented lattices.
Unit-IV
Propositional Logic: Proposition, First order logic, Basic logical operation, truth tables,
tautologies, Contradictions, Algebra of Proposition, logical implications, logical equivalence,
predicates, Universal and existential quantifiers.
Unit-V 
Combinatorics & Graphs: Recurrence Relation, Generating function., Permutation &
Combination, Probabilistic Permutation & Combination