“An introduction to topics involving discrete sets of objects. These include number systems, sets and their operations, propositional logic, quantification, algorithms, functions, recursion, relations, and graph theory. The course contains an introduction to proof methodology, including mathematical induction, based on the preceding topics. This course makes extensive use of the computer for exploration and discovery of the concepts.”