Lecture notes

§1. Propositional logic
§2. Proof techniques
§3. Sets, functions and sequences
§4. Algorithms and complexity
§5. Integer and modular arithmetic
§6. Relations
§7. Induction, recursion and program correctness
§8. Counting and discrete probability

CPSC 203 home page