Course Detail
Units:
3.0
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 AP Calc BC score of 3+ OR Higher Math)).
Description
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.