This course is designed to introduce students to discrete and abstract mathematical topics. Topics include propositional and predicate logic; elementary set theory; introduction to proof techniques including mathematical induction; sets, relations, functions, and relations; recurrence relations, graph theory, as well as the properties of groups, rings, and fields. Students study number systems, mathematical induction, algorithms and complex number systems, matrix manipulation, combinatorics, graph theory, and finite differences. Course activities are based on secondary and middle school mathematics curricula. This course considers the basic objects of mathematics through real-world examples and the methods used to elucidate their properties.