Links
Course overview
A tour of the mathematics of countable structures that are fundamental to computer science.
Main topics
- propositional logic: syntax, semantics, laws, normal forms, models, resolution calculus
- set theory: ZFC axioms, relations (equivalence,order), functions
- combinatorics: binomial coefficient, urn model, inclusion-exclusion principle, pigeonhole principle, counting problems
- graph theory: basic notions, trees, Euler/Hamilton cycles, planar graphs, colorings