This course is designed to provide the student with discrete structures for computer science. Discrete structures are the study of the logical and algebraic relationships between discrete objects. The focus will be on logic and proofs, set theory, functions, relations, counting techniques, sequence, and graph theory.