CSE 215 - Course Objectives

• Introduce discrete structures such as functions, relations, and sets, and methods for constructively defining them.
• Introduce recursion as a basic paradigm for computing with functions.
• Provide a rigorous introduction to logic and basic proof techniques, such as mathematical induction.