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.
Boolean Algebra: Basic definitions, sum of products and product of sums, form in Boolean Algebra, Logic gates and Karnaugh maps.
Tree: Definition, Rooted tree, properties of trees, binary search tree, tree traversal.

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., Simple graph, multi graph, graph terminology, representation of graphs, Bipartite, Regular, Planar and connected graphs, connected components in a graph, Euler graphs, Hamiltonian path and circuits, Graph coloring, chromatic number, isomorphism and Homomorphism of graphs.
Text books and Supplementary reading:
Liptschutz, Seymour, “ Discrete Mathematics”, McGraw Hill.
Trembley, J.P & R. Manohar, “Discrete Mathematical Structure with Application to Computer Science”, McGraw Hill.
Kenneth H. Rosen, “Discrete Mathematics and its applications”, McGraw Hill.
Deo, Narsingh, “Graph Theory With application to Engineering and Computer.Science.”, PHI.
Krishnamurthy, V., “Combinatorics Theory & Application”, East-West Press Pvt. Ltd., New Delhi.