Course Name: 

Discrete Mathematics (MA201)


B.Tech (IT)




Programme Core (PC)

Credits (L-T-P): 

(3-0-0) 3


Mathematical Logic and Proofs: Propositional Logic and Applications, Operations on Propositions, Truth Tables, Tautologies & Logical Equivalence, Predicate Logic, Predicates & Quantifiers, Nested Quantifiers, Inference Rules, Proofs Methods; Set Theory: Sets/Operations, Sequences/Summations, Cardinality of Sets, Functions (Surjections, Injections); Induction and Recursion: Mathematical Induction, Strong Induction and Well-Ordering, Recursive Definitions, Structural Induction; Combinatorics: Counting, Pigeonhole Principle, Permutations/Combinations, Binomial Coefficients, Recurrence Relations, Generating Functions, Inclusion-Exclusion; Relations: n-ary Relations and Applications, Representing Relations, Closures of Relations, Equivalence Relations, Partial Orders; Group Theory: Groups, Semigroups, Monoids, Rings, Fields, Vector Spaces and Lattices; Graph Theory: Graphs and Models, Euler and Hamiltonian Paths, Trees, Tree Traversals, Spanning Trees, Graph Matching, Graph Coloring.


C.L.Liu and D.P. Mahapatra, Elements of Discrete Mathematics, 4th Edition, McGraw-Hill, 2012.
K.H.Rosen, Discrete Mathematics and Its Applications, 7th Edition, McGraw-Hill, 2017.
John A. Dossey, Discrete Mathematics, 5th Edition, Pearson, 2011.
Jean-Paul Tremblay and R Manohar, Discrete Mathematical Structures with Apps., 1st Ed., McGraw-Hill, 2017.
J .L.Mott, A.Kandel, T.P .Baker, Discrete Mathematics for Computer Scientists, 2nd Ed., Prentice Hall of India, 1986.


Information Technology

Contact us

Jaidhar C D

Head of the Department,
Department of Information Technology,
National Institute of Technology Karnataka,
SurathkalP. O. Srinivasnagar, Mangalore - 575 025
Ph.:    +91-824-2474056
Email:  hodit[AT]nitk[DOT]edu[DOT]in


Web Admin: Sowmya Kamath S

Connect with us

We're on Social Networks. Follow us & stay in touch.