This course is designed to introduce students to mathematical topics which are related to the design, programming, and application of computers. Topics include propositional logic, number systems, mathematical induction, algorithms and pseudocode, encryption, matrix manipulation, combinatorics, graph theory, and finite state automata.