This course introduces the students to the mathematical tol of logic and induction, and to the basic definitions and theorems concerning relations, functions, and sets. Particular emphasis is placed on inductive definitions and proofs, with applications to problems in computer science.
- Teacher: John Michael Calandria