The course introduces the students to the mathematical tools 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 application to problems in computer science.