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