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