Sorry! The enrollment period is currently closed. Please check back soon.
Full course description
This course introduces students to various topics in discrete mathematics, such as set theory, mathematical logic, trees, and graph theory. Applications to relational databases, modeling reactive systems and program verification are also discussed.