This course introduces the student to the mathematical tools of logic and induction, and to the basic definitions and theorems concerning relations, functions, and sets. Emphasis is placed in inductive definitions and proofs, with applications to problems in Computer Science
- Teacher: Jay Ryan Mapanao