Kerry Ojakian's CSI 30 Lecture Notes

Topic 1     (Propositional Logic)

Topic 2     (Quantifiers and Predicates)

Topic 3     (Algorithms)

Topic 4     (Propositional Proofs)
    Inference Rules Handout

Topic 5     (Introduction to Set)

Topic 6     (Sets Operations and Proofs)

Topic 7     (Sets and Functions)

Topic 8     (Matrices)

Topic 9     (Different Bases)

Topic 10     (Primes, GCD, LCM)

Topic 11     (Divisibility and Modular Arithmetic)

Topic 12     (Cryptography)
      RSA Handout
      Calculate: GCD/GCF
      Calculate: Modular Inverse
      Calculate: Modular Exponentiation

Topic 13     (Proofs More Generally)
      Krantz Proof Article

Topic 14     (Probability)

Topic 15     (Counting)

Topic 16     (Permutations and Combinations)