This document provides an introduction to a course in discrete mathematics. It outlines the assessments which include quizzes, assignments, tests, and a final exam. The course covers topics like propositional logic, predicate logic, methods of proof, sets, relations, functions, language, and program correctness. Discrete mathematics deals with discrete rather than continuous objects and provides the mathematical background for computer science and other fields. Examples of problems solved with discrete math include shortest paths, sorting algorithms, and counting possibilities. The goals of the course are mathematical reasoning, combinatorial analysis, learning discrete structures, algorithmic thinking, and applications. Discrete math is also a gateway to other computer science and mathematics courses.