An introduction to discrete mathematical elements and processes. Includes sets, functions, concepts of logic and proof, Boolean algebra, combinatorics, algorithmic concepts, and graph theory and its applications. Students in this course often encounter their first experiences with formal mathematical proof techniques. Emphasis is placed upon applications of the many elements of discrete mathematics in a variety of real-world settings. The use of technology is incorporated for the benefit of both the learning of concepts as well as the solving of real-world applications problems.