CSE 150

Course Objectives

• To provide students with a rigorous introduction to proof techniques including propositional logic and mathematical induction.
• Introduce fundamental discrete structures such as functions, graphs, and trees.
• Introduce recursion as a basic paradigm for computing with functions.
• To build a strong theoretical foundation for subsequent courses in the computer science curriculum.