• To lay the foundations for theoretical computer science.
  • To understand the basic mathematical concepts generally required for most computer science courses.
  • Developing precise and formal reasoning skills in students.
  • Exploring different ways of mathematical thinking i.e. Logical thinking, Relational thinking, Recursive thinking, Quantitative thinking and Analytical thinking.


CLO: 1. Apply the elements of propositional logic statements and operations using truth table, logical identities, rules of inference for theorem proving[C3-Application]
CLO: 2. Construct inductive hypothesis along with recursive definitions using mathematical and logical notation to define and formally reason about basic mathematical concepts. [C3-Application]
CLO: 3. Understand asymptotic notation, its significance, and be able to use it to analyze asymptotic performance for some basic algorithmic examples with the help counting principles such as permutation and combinations.[C4-Analysis]
CLO: 4. Understand some basic properties of graphs and related discrete structures, and be able to discover their relationship with practical examples [C3-Application]