3Credit HoursSets, functions, relations, equivalence relations, partial orderings and proof techniques, especially mathematical induction. Application of proof techniques to prove correctness of algorithms. Introduction to basic counting and combinatorics.
(RE) Prerequisite(s):140 and either Mathematics 142 or 148.