Explore the foundations of discrete mathematics through a comprehensive course covering first-order logic, mathematical induction, probability theory, graph theory, set theory, and combinatorics. Learn about logical inferences, quantified proportions, sample spaces, conditional probability, Bayes' theorem, information theory, graph isomorphism, Euler and Hamiltonian circuits, planar graphs, relations, partial orders, lattices, Boolean algebra, permutations and combinations, and the principle of inclusion and exclusion. Develop problem-solving skills and gain a solid understanding of mathematical proofs and logical reasoning essential for computer science and advanced mathematics.