Credits: 3 This course is designed to introduce math and computer science majors to mathematical logic and methods of proof through their applications to set theory, combinatorics, and number theory.
Prerequisite(s): C or better in MAT* H186 or MAT* H185.