CS 2400 - Discrete Structures (3)

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.