Basic logic, sets and relations, proof techniques, induction and recursion, principles of counting, permutations and combinations, discrete probability, graphs and trees. Prerequisite(s): (CS 1030 or CS 1100) and (MATH 1111 or MATH 1131 or MATH 1150 or MATH 1151 or ACST 1300). An additional fee is associated with this course.