IT203 (New Curriculum)

Course Name: 

Discrete Mathematics (IT203) (2018 Curriculum)


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

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.