COMP SCI/MATH 240 — INTRODUCTION TO DISCRETE MATHEMATICS
Published in UW- Madison, Computer Science BS, 2025
COMP SCI/MATH 240 — INTRODUCTION TO DISCRETE MATHEMATICS in UW- Madison
Discrption
- Basic concepts of logic, sets, partial order and other relations, and functions. Basic concepts of mathematics (definitions, proofs, sets, functions, and relations) with a focus on discrete structures: integers, bits, strings, trees, and graphs. Propositional logic, Boolean algebra, and predicate logic. Mathematical induction and recursion. Invariants and algorithmic correctness. Recurrences and asymptotic growth analysis. Fundamentals of counting.