This course covers the mathematical elements of computer science including formal logic, propositional logic, predicate logic, logic in mathematics, sets, functions and relations, recursive thinking, mathematical induction, counting, combinatorics, algorithms, matrices, graphs, trees, and Boolean logic. Students will learn to recognize and express mathematical ideas graphically, numerically, symbolically, and in writing.
Prerequisite Courses