CSCI 60

Resources

Propositional Logic

Propositional Equivalence

Predicates and Quantifiers

Rules of Inference

Sets

Matrix

Permutation and Combination

Mathematical Induction