Course Detail
Units:
--
Course Components:
Discussion
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisites: "C-" or better in ((CS 1410 OR AP CS-A score of 5) AND (MATH 1210 OR MATH 1250 OR MATH 1270 OR MATH 1310 OR MATH 1311 OR AP Calc AB score of 4 or better OR AP Calc BC score of 3 or better)).
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.