The study and manipulation of collections of objects, mathematics fundamentals, and techniques of proof form the core of discrete mathematics.

Specific objectives for the course are as follows:

• Use formal logic and logical reasoning to solve problems.
• Understand different proof techniques and be able to use them to prove results.
• Understand the operations and applications of common discrete structures such as sets, functions, relations, numbers and graphs.
• Understand mathematical induction and its applications.
• Understand the concept of an algorithm: how to apply and alayze algorithms.
• Understand combinatorial ideas such as permutations, combinations, pigeon-hole principle.
• Illustrate the basic ideas of graphs and trees and some of their common algorithms.

Skills to be learned in the course that are crucial to the understanding of both mathematics and computer science include:

• Be able to read, analyze and understand mathematical proofs.
• Create mathematical proofs.