An introductory course that presents mathematical topics useful in computer science. The expected outcomes of the course are that students will understand and be able to use: positional and modular number systems, sets, relations, functions, propositional and predicate logic, sequences, summations, and proofs by mathematical induction and contradiction.
