(I.T & Comp. Science Engg.)
B.Tech (CSE/IT, Discrete Mathematical Structures)
Logic: Propositional equivalence, predicates and quantifiers, Methods of proofs, proof
strategy, sequences and summation, mathematical induction, recursive definitions and
structural induction, program correctness.
Counting: The basics of counting, the pigeonhole principle, permutations and
combinations, recurrence relations, solving recurrence relations, generating functions,
inclusion-exclusion principle, application of inclusion-exclusion.
Relations: Relations and their properties, n-array relations and their applications,
representing relations, closure of relations, equivalence of relations, partial orderings.
Graph theory: Introduction to graphs, graph terminology, representing graphs and graph
isomorphism, connectivity, Euler and Hamilton paths, planar graphs, graph coloring,
introduction to trees, application of trees.
Group theory: Groups, subgroups, generators and evaluation of powers, cosets and
Lagrange's theorem, permutation groups and Burnside's theorem, isomorphism,
automorphisms, homomorphism and normal subgroups, rings, integral domains and
Lattice theory: Lattices and algebras systems, principles of duality, basic properties of
algebraic systems defined by lattices, distributive and complimented lattices, Boolean
lattices and Boolean algebras, uniqueness of finite Boolean expressions, prepositional
calculus. Coding theory: Coding of binary information and error detection, decoding and
1) K.H. Rosen: Discrete Mathematics and its application, 5th edition, Tata McGraw
Hill.Chapter 1(1.1-1.5), Chapter 3(3.1-3.4,3.6), Chapter 4(4.1-4.3,4.5), Chapter
6(6.1,6.2,6.4-6.6) Chapter 7(7.1-7.6), Chapter 8(8.1-8.5,8.7,8.8)
2. C. L. Liu: Elements of Discrete Mathematics, 2 nd edition, TMH 2000.
Chapter 11(11.1 – 11.10 except 11.7), Chapter 12(12.1 – 12.8)
3.B.Kalman: Discrete Mathematical Structure, 3 rd edition, Chapter 11(11.1,11.2)