Course Detail
Units:
--
Course Components:
Discussion
Lecture
Enrollment Information
Enrollment Requirement:
Prerequisite: 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.