This course is a survey and development of the theoretical tools suitable for algorithmic applications and the mathematics needed for success in computer science. As such, the course will address a variety of topics, including propositional and predicate logic, proof techniques, mathematical induction, set theory, relations, functions, matrices, determinants, and counting principles.
- Teacher: Jay Vince Serato
- Enrolled students: 360