The purpose of this course is to provide an overview of the Discrete Mathematical concepts which are important to computing. Students are exposed to Logic, Sets, Simple Proof Techniques, Integers, Mathematical Inductions, Diophantine equation, Counting Principles, Functions, Relations, Posets, Graph, Tree and Boolean Algebra. This course integrates symbolic tools, graphical concepts, and numerical calculations.

Upon the completion of the course, the student will have the ability to:
 Express statements in the language of formal logic and draw conclusions.
 Prove mathematical statements by means of inductive reasoning
 Model situations in terms of graph and set theory
 Develop problem-solving techniques and solve any related problem in discrete mathematics.