Course Detail
Units:
--
Course Components:
Discussion
Lecture
Enrollment Information
Enrollment Requirement:
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 better OR AP Calc BC score of 3 or better OR Higher Math)).
Description
Introduction to propositional logic, predicate logic, formal logical arguments, finite sets, functions, relations, inductive proofs, recurrence relations, graphs, and their applications to Computer Science.