3.00 Credits
Introduction to propositional logic, predicate logic, formal logical arguments, finite sets, functions, relations, inductive proofs, recurrence relations, graphs, probability, and their applications to Computer Science. Prerequisites: 'C-' or better in (CS 1410 OR CS 1420 OR AP CS-A score of 5) AND (MATH 1210 OR MATH 1220 OR MATH 1250 OR MATH 1310 OR MATH 1311 OR AP Calc AB score of 4+ OR AP Calc BC score of 3+ OR Higher Math)