CSE 20Discrete Mathematics
This course will introduce the ways logic is used in computer science: for reasoning, as a language for specifications, and as operations in computation. Concepts include sets, relations, functions, equivalence relations, partial orders, number systems, and proof methods (especially induction and recursion). Propositional and predicate logic will be introduced and applied to various computer science domains such as circuit design, databases, cryptography, and program correctness. Students who have completed MATH 109 may not receive credit for CSE 20. Credit not offered for both MATH 15A and CSE 20. Equivalent to MATH 15A.
Prerequisites
From the catalog: “CSE 11 or CSE 6R or CSE 8A or CSE 8B or ECE 15. Prerequisite courses must have been completed with a grade of C– or better; restricted to undergraduates. Graduate students will be allowed as space permits.”
Where it sits in degree plans
Suggested plans most often put it in Year 1 · Spring (2 programs).
One of the options in (3)
- Artificial Intelligence
- Computer Science (B.S.)
- Interdisciplinary Computing and the Arts