CSBS2001
CSBS2001
Course Objectives:
Learning Outcomes:
Upon completion of this course, students will be able to:
• CO1 Understand the basic concepts of set theory, relations and functions, propositional logic and
apply the knowledge for modelling and solving various problems in computer sciences.
• CO2 Apply various methods of proofs and proof strategies.
• CO3 Model counting techniques using recurrence relations & generating functions for applications.
• CO4 Understand the concept of algebraic structuressuch as groups, semi group, subgroups and
Lagrange theorem. Gets the idea of homomorphism and isomorphism of groups, definition and
examples of ring, integral domain and field.
• CO5 Develop the concepts and applications of graphs in various computer science problems
Text Books:
1. Kenneth H. Rosen, Discrete Mathematics and its Applications, Mc Graw Hills International
Seventh Edition.
2. C. L. Liu, “Elements of Discrete Mathematics”, McGraw Hills International Second Edition.
Reference Books:
1. Elements of Discrete Mathematics by C. L. Liu and D.P. Mohapatra, TMH, 2012
2. J. P Tremblay, R. Manohar, “Discrete Mathematical Structures with Applications to Computer
Science”, TMH, 1997.