# CSIS 125 : Discrete Structures I

An introduction to the basics of discrete mathematics as applied in computer science. Topics include elementary logic, propositional logic, predicate logic, proof techniques, sets, relations, functions, elementary number theory, and Boolean algebra.