An introduction to the fundamentals of discrete mathematics, including propositional and first-order logic, set theory, relations, functions, combinatorics, and graph theory. This course develops rigorous thinking and formal argumentation for applications in computer science, algorithm verification, and network modeling.
