Course Detail
Units:
3.0
Course Components:
Discussion
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisites: "C-" or better in CS 1410
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.