Discrete 2021: Summaries

Topics Assignments Coq Summaries Presentations Sources

Glossary

TBD

Theory Cheat Sheets

TBD

Algorithmic Procedures

  1. Propositional and Predicate Logic
  2. Sets, Functions, Relations
  3. Algorithms, Asymptotics, Recursion
  4. Number Theory, Induction
  5. Combinatorics
  6. Probabilities
  7. Graphs and Trees

Python Demos (Optional)