CS V17 — Discrete Structures
This course introduces the student to discrete mathematics as it is used in computer science. Topics include formal logic, proofs, sets, combinatorics, probability, functions, graph theory, Boolean Algebra, and Modeling with programming.