Teaching Materials ( original formats)
- Intro. to combinatorics tutorial
- Counting/arrangements exercise
- Combinatorics (cont.) tutorial
- Counting with repetition exercise
- Combinatorics & probability tutorial
- Counting and probability exercise
- Probability (cont.) tutorial
- Probability exercise
- Conditional probability tutorial
- Formal logic tutorial
- Formal logic exercise
- Formal logic & predicate logic tutorial
- Proofs tutorial
- Formal logic & proofs exercise
- Proofs exercise
- Proof by induction tutorial
- Proof by induction exercise
- GDB cheat sheet
- Unix essentials tutorial
- Functional reactive programming lecture