On successful completion of the course students will develop knowledge of:

- logical forms, valid arguments, direct and indirect proofs, and mathematical induction.
- set theory, Boolean algebra, relations, and functions.
- introductory understanding of discrete probability.
- the representation of problems in the form of graphs and trees.

Students will also develop the abilities

- to perform counting and probability calculations on sets.
- to use and express the concepts learned in various application domains with correct standard notation and symbols.