CSC 5920 : Logic
Boolean connectives and propositional logic; quantifiers and first-order logic; natural deduction, resolution and other methods of human or computer reasoning; set theory; induction; formal arithmetic.
The Handbook shows requirements for FIRST-YEAR students. Non-first-year students should see sidebar archive to view the requirements for their class.