Exercises to consider in helping prepare for class (but not required or directly used in the course)

* [[LL1 Grammars and Parse Tables]]
* [[Logic and Logical Arguments]]
* [[Induction]]
* [[Predicate Calculus]]
* [[Resolution]]
* [[Binary Relations]]
* [[Relational Algebra]]